clojush.interpreter
eval-push
(eval-push state)(eval-push state print-steps)(eval-push state print-steps trace)(eval-push state print-steps trace save-state-sequence)Executes the contents of the exec stack, aborting prematurely if execution limits are exceeded. The resulting push state will map :termination to :normal if termination was normal, or :abnormal otherwise.
execute-instruction
(execute-instruction instruction state)Executes a single Push instruction.
run-push
(run-push code state)(run-push code state print-steps)(run-push code state print-steps trace)(run-push code state print-steps trace save-state-sequence)The top level of the push interpreter; calls eval-push between appropriate code/exec pushing/popping. The resulting push state will map :termination to :normal if termination was normal, or :abnormal otherwise.