|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.grack.prologmachine.PrologMachine.ExecutionStack
Constructor Summary | |
PrologMachine.ExecutionStack()
|
Method Summary | |
void |
copyTop()
|
boolean |
isFailure()
|
boolean |
isSuccess()
|
void |
loadUnifiable(Unifiable u)
|
void |
pop()
|
PrologMachine.ExecutionState |
top()
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public PrologMachine.ExecutionStack()
Method Detail |
public PrologMachine.ExecutionState top()
public void pop()
public void copyTop()
public boolean isSuccess()
public boolean isFailure()
public void loadUnifiable(Unifiable u)
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |