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

APT.all-test.Algebra.algebra.print-out-equation.print-value.soar Maven / Gradle / Ivy

sp {print-out-equation*propose*print-value
   (state  ^type print-out-equation
              ^print-id 
              ^current-clause )
   ( ^type << number variable >>
        -^print.print-id )
-->
   ( ^operator  + =)
   ( ^name print-value)
}

sp {print-out-equation*apply*print-value
   (state  ^operator.name print-value
              ^top-state.problem.problem-list 
              ^print-id 
              ^current-clause )
   ( ^value )
   ( ^count 
         ^pointer )
-->
   ( ^count  -
                (+  1)
         ^pointer  -
                  )
   ( ^next )
   ( ^value )
   ( ^print )
   ( ^print-id 
         ^flag complete)
}

#
#sp {print-out-equation*apply*print-value
#   (state  ^operator.name print-value
#              ^top-state.problem.problem-list 
#              ^current-clause )
#   ( ^value )
#   ( ^count 
#         ^pointer )
#-->
#   ( ^count  -
#                (+  1)
#         ^pointer  -
#                  )
#   ( ^next )
#   ( ^value )
#}
#
#sp {print-out-equation*apply*print-value2
#   (state  ^operator.name print-value
#              ^top-state.problem.problem-list 
#              ^print-id 
#              ^current-clause )
#   ( ^count 
#         ^pointer )
#-->
#   ( ^print )
#   ( ^print-id 
#         ^flag complete)
#}