
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
© 2015 - 2025 Weber Informatics LLC | Privacy Policy