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

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

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

sp {process-column*apply*get-digit1
   (state  ^operator.name get-digit1
              ^current-column )
   ( ^digit1 
        -^new-digit1
        -^carry-borrow 1)
-->
   ( ^digit1 )
}

## If there has been a borrow
sp {process-column*apply*get-digit1-new 
   (state  ^operator.name get-digit1
              ^current-column )
   ( ^digit1 
         ^new-digit1 
        -^carry-borrow 1)
-->
   ( ^digit1 )
}