|
GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ExecutionState | |
|---|---|
| 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 ExecutionState in gnu.prolog.vm.interpreter |
|---|
| Fields in gnu.prolog.vm.interpreter declared as ExecutionState | |
|---|---|
ExecutionState |
LeaveBacktrackInfo.executionState
execution state |
| Constructors in gnu.prolog.vm.interpreter with parameters of type ExecutionState | |
|---|---|
LeaveBacktrackInfo(int undoPosition,
ExecutionState executionState)
a constructor |
|
| Uses of ExecutionState in gnu.prolog.vm.interpreter.instruction |
|---|
| Methods in gnu.prolog.vm.interpreter.instruction with parameters of type ExecutionState | |
|---|---|
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 |
|
GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||