gnu.prolog.vm.interpreter
Class LeaveBacktrackInfo
java.lang.Object
   gnu.prolog.vm.BacktrackInfo
gnu.prolog.vm.BacktrackInfo
       gnu.prolog.vm.interpreter.LeaveBacktrackInfo
gnu.prolog.vm.interpreter.LeaveBacktrackInfo
- public class LeaveBacktrackInfo 
- extends BacktrackInfo
this backtrack info is put to stack upon exit from from user defined
 predicate in return instruction. As result it is BacktrackInfo that is passed
 to user defined predicate as parameter, no other backtrack info will be
 passed as parameter to user defined predicate on redo.
 
 
 
 
 
| Methods inherited from class java.lang.Object | 
| clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
 
executionState
public ExecutionState executionState
- execution state
 
 
LeaveBacktrackInfo
public LeaveBacktrackInfo(int undoPosition,
                          ExecutionState executionState)
- a constructor
 
- Parameters:
- undoPosition-
- executionState-