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