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

APT.all-test.Arithmetic.arithmetic.process-column.compute-result.compute-result.soar Maven / Gradle / Ivy

## to subtract 1 from next column digit1 (prepared in elaboration)

sp {compute-result*propose*compute-result
   (state  ^name compute-result
              ^digit1 
              ^digit2 
             -^result)
-->
   ( ^operator  + =)
   ( ^name compute-result)
}

### Add in the carry for addition will be done by process-column*apply*compute-result*addition
### Subtract the borrow will be done by process-column*apply*compute-result*subtraction