|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectgnu.prolog.vm.BacktrackInfo
gnu.prolog.vm.interpreter.Predicate_call.CallTermBacktrackInfo
public static class Predicate_call.CallTermBacktrackInfo
call term backtrack info
| Field Summary |
|---|
| Fields inherited from class gnu.prolog.vm.BacktrackInfo |
|---|
codePosition, undoPosition |
| Constructor Summary | |
|---|---|
Predicate_call.CallTermBacktrackInfo(Interpreter in,
PrologCode code,
Term[] args,
Term callTerm)
|
|
| Method Summary | |
|---|---|
protected void |
finalize()
|
| Methods inherited from class gnu.prolog.vm.BacktrackInfo |
|---|
undo |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public Predicate_call.CallTermBacktrackInfo(Interpreter in,
PrologCode code,
Term[] args,
Term callTerm)
| Method Detail |
|---|
protected void finalize()
throws Throwable
finalize in class ObjectThrowable
|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||