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

Go to download
sp {algebra*propose*print-out-equation
   (state  ^print-id 
              ^problem )
   (
 ^status defined
       -^status printed
        ^top-clause )
-->
   ( ^operator  + =)
   ( ^name print-out-equation
         ^clause 
         ^print-id )
}

sp {algebra*apply*print-out-equation*remove-old-print
   (state  ^operator.name print-out-equation
              ^print-id 
              ^problem )
   ( ^top-clause.print 
)
   (
 ^flag complete
        ^print-id )
-->
   ( ^print-id  -)
   ( ^status printed
                      defined -)
}

sp {algebra*apply*print-out-equation*write
   (state  ^operator 
              ^problem 
)
   ( ^name print-out-equation)
-->
   (
 ^problem-list )
   ( ^count 0
         ^pointer )
}
sp {algebra*apply*print-out-equation
   (state  ^operator.name print-out-equation
              ^current-clause )
   ( ^right-side.print 
         ^print 
)
   (
 ^print-id )
   ( ^print-id 
         ^flag complete)
-->
   ( ^flag complete)}

#
#sp {algebra*apply*print-out-equation*other
#   (state  ^operator.name solve-problem
#              ^top-state )
#-->
#   ( ^print-id )
#}


sp {algebra*apply*print-out-equation*other*print-op
   (state  ^operator.name {  solve-problem }
              ^top-state.io.output-link )
-->
   ( ^text.next.value )
}