All Downloads are FREE. Search and download functionalities are using the official Maven repository.

APT.all-test.Arithmetic.arithmetic.process-column.get-digit1.write-digit1.soar Maven / Gradle / Ivy

sp {process-column*propose*write-digit1
   (state  ^name get-digit1
              ^result )
-->
   ( ^operator  + =)
   ( ^name write-digit1)
}

sp {process-column*apply*write-digit1-carry1
   (state  ^operator.name write-digit1
              ^result 
              ^carry-borrow 1
              ^superstate )
-->
   ( ^digit1 
         ^carry-borrow 1)
}


sp {process-column*apply*write-digit1*carry0
   (state  ^operator.name write-digit1
              ^result 
              ^carry-borrow 0
              ^superstate )
-->
   ( ^digit1 )
}