APT.all-test.Pyramid.instruct.execute-solve-procedure.execute-step.elaborations.soar Maven / Gradle / Ivy

Go to download

sp {execute-step*elaborate*state
   (state  ^name execute-step
              ^superstate.current-problem )
-->
   ( ^current-problem )
}


sp {elaborations*elaborate*state*success2
   (state  ^superstate.current-problem  
              ^name execute-step
             -^alternate-action)
   ( ^goal-test-success
         ^completed-action )
-->
   ( ^success true)
}