Uses of Class
gnu.prolog.vm.BacktrackInfo

Packages that use BacktrackInfo

gnu.prolog.vm
gnu.prolog.vm.buildins.list
gnu.prolog.vm.interpreter	InterpretedCodeCompiler uses the various classes beginning with I and extending Instruction in the instruction sub-package to compile clauses to InterpretedByteCode.
gnu.prolog.vm.interpreter.instruction

Uses of BacktrackInfo in gnu.prolog.vm

Subclasses of BacktrackInfo in gnu.prolog.vm

class

PrologCollectionIterator Generic collection iterator which can be used by PrologCode implementations.

Methods in gnu.prolog.vm that return BacktrackInfo

BacktrackInfo	Interpreter.peekBacktrackInfo() peek top backtrack information
BacktrackInfo	Interpreter.popBacktrackInfo() pop backtrack information

Methods in gnu.prolog.vm with parameters of type BacktrackInfo

void	Interpreter.popBacktrackInfoUntil(BacktrackInfo cutPoint)
void	Interpreter.pushBacktrackInfo(BacktrackInfo bi) push backtrack information

Uses of BacktrackInfo in gnu.prolog.vm.buildins.list

Subclasses of BacktrackInfo in gnu.prolog.vm.buildins.list

protected static class	Predicate_append.AppendBacktrackInfo
protected static class	Predicate_member.MemberBacktrackInfo

Uses of BacktrackInfo in gnu.prolog.vm.interpreter

Subclasses of BacktrackInfo in gnu.prolog.vm.interpreter

class	CallBacktrackInfo call backtrack info
class	EnterBacktrackInfo this backtrack info is created upon entering in predicate, it is used to detect fails and it is a normal cut parent.
class	LeaveBacktrackInfo this backtrack info is put to stack upon exit from from user defined predicate in return instruction.
class	LeaveByteCodeBacktrackInfo this backtrack info is put to stack upon exit from from user defined predicate in return instruction.
static class	Predicate_call.CallTermBacktrackInfo call term backtrack info
class	RetryBacktrackInfo retry backtrack info.

Fields in gnu.prolog.vm.interpreter declared as BacktrackInfo

BacktrackInfo	LeaveByteCodeBacktrackInfo.startBacktrackInfo execution state
BacktrackInfo	ExecutionState.startBacktrackInfo current backtrack info, only active on backtracking

Methods in gnu.prolog.vm.interpreter that return BacktrackInfo

BacktrackInfo	ExecutionState.peekBacktrackInfo() peek backtrack info w/o popping it
BacktrackInfo	ExecutionState.popBacktrackInfo() pop backtrack info from stack

Methods in gnu.prolog.vm.interpreter with parameters of type BacktrackInfo

void	ExecutionState.pushBacktrackInfo(BacktrackInfo cbi) push backtrack info to stack

Constructors in gnu.prolog.vm.interpreter with parameters of type BacktrackInfo

LeaveByteCodeBacktrackInfo(Term[] environment, BacktrackInfo startBacktrackInfo)
a constructor

Uses of BacktrackInfo in gnu.prolog.vm.interpreter.instruction

Methods in gnu.prolog.vm.interpreter.instruction with parameters of type BacktrackInfo

int	IFail.execute(ExecutionState state, BacktrackInfo backtrackInfo) execute call instruction within specified sate
int	ISaveState.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IAllocate.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IUnify.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IStoreEnvironment.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ICreateCompoundTerm.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ITrue.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ITryMeElse.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IRetryMeElse.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ITrustMe.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IJump.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ICreateVariable.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ICut.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ICall.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IPop.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
abstract int	Instruction.execute(ExecutionState state, BacktrackInfo bi) execute instruction
int	IReturn.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IPushArgument.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ISaveCut.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IPushEnvironment.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IPushConstant.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IDup.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IRestoreState.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IThrow.execute(ExecutionState state, BacktrackInfo backtrackInfo) execute call instruction within specified sate