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

APT.all-test.Algebra.algebra.accept-input.convert-input-to-clause-form.process-end.soar Maven / Gradle / Ivy

sp {convert-input-to-clause-form*propose*process-end
   (state  ^name convert-input-to-clause-form
              ^top-state.problem.current-input-value nil)
-->
   ( ^operator  + =)
   ( ^name process-end)
}

sp {convert-input-to-clause-form*apply*process-end
   (state  ^operator.name process-end
              ^top-state )
   ( ^problem 

) (

^parse-clause ^top-clause ) ( ^parse-status post-right) --> (

^status defined initialized -) ( ^current-clause ) } sp {convert-input-to-clause-form*apply*process-end*parent (state ^operator.name process-end ^top-state ) ( ^problem

) (

^parse-clause { <> } ^top-clause ) ( ^parse-status post-right ^parent-clause ) --> (

^parse-clause - ^parse-clause ) } sp {convert-input-to-clause-form*apply*process-end*failure (state ^operator.name process-end ^top-state.problem

) (

^parse-clause.parse-status <> post-right) --> (write (crlf) |Unexpected end of equation.|) (

^failed true) }