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

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

sp {print-out-equation*propose*print-right-paren
   (state  ^type print-out-equation
              ^current-clause 
              ^print-id )
   ( ^print 

) (

^flag right-side -^flag complete ^print-id ) --> ( ^operator + =, >) ( ^name print-right-paren) } sp {print-out-equation*apply*print-right-paren*add (state ^operator.name print-right-paren ^top-state.problem.problem-list ^current-clause ) ( ^operation <> equal) ( ^count ^pointer ) --> ( ^count - (+ 1) ^pointer - ) ( ^next ) ( ^value |]|) } sp {print-out-equation*apply*print-right-paren*multiply (state ^operator.name print-right-paren ^top-state.problem.problem-list ^print-id ^current-clause ) ( ^operation ^print ) ( ^print-id ) ( ^count ^pointer ) --> ( ^flag complete) }