
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)
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy