Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
gnu.prolog.vm.BacktrackInfo

Packages that use BacktrackInfo
gnu.prolog.vm | The Virtual Machine which is used to run the prolog code.
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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV NEXT | FRAMES NO FRAMES