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

APT.Arithmetic.arithmetic.elaborations.monitor.soar Maven / Gradle / Ivy

#sp {arithmetic*monitor*state*1column
#   (state  ^name arithmetic
#              ^arithmetic-problem )
#   ( ^one-column 
#         ^operation-symbol )
#   ( ^digit1 
#         ^digit2 
#         ^next-column nil)
#-->
#   (write (crlf) | |  )
#   (write (crlf)   )
#   (write (crlf) |--|)
#}
#
#
#sp {arithmetic*monitor*state*2column
#   (state  ^name arithmetic
#              ^arithmetic-problem )
#   ( ^one-column 
#         ^operation-symbol )
#   ( ^digit1 
#         ^digit2 
#         ^next-column )   
#   ( ^digit1 
#         ^digit2 
#         ^next-column nil)
#-->
#   (write (crlf) | |    )
#   (write (crlf)    )
#   (write (crlf) |---|)
#}
#
sp {arithmetic*monitor*state*3column
   (state  ^name arithmetic
              ^arithmetic-problem )
   ( ^one-column 
         ^operation-symbol )
   ( ^digit1 
         ^digit2 
         ^next-column )   
   ( ^digit1 
         ^digit2 
         ^next-column )
   ( ^digit1 
         ^digit2 
         ^next-column nil)
-->
#   (write (crlf) | |     )
#   (write (crlf)     )
#   (write (crlf) |----|)
}
#