gnu.prolog.vm.interpreter
Class LeaveByteCodeBacktrackInfo
java.lang.Object
   gnu.prolog.vm.BacktrackInfo
gnu.prolog.vm.BacktrackInfo
       gnu.prolog.vm.interpreter.LeaveByteCodeBacktrackInfo
gnu.prolog.vm.interpreter.LeaveByteCodeBacktrackInfo
- public class LeaveByteCodeBacktrackInfo 
- 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 | 
 
startBacktrackInfo
public BacktrackInfo startBacktrackInfo
- execution state
 
 
environment
public Term[] environment
LeaveByteCodeBacktrackInfo
public LeaveByteCodeBacktrackInfo(Term[] environment,
                                  BacktrackInfo startBacktrackInfo)
- a constructor
 
- Parameters:
- environment-
- startBacktrackInfo-