com.grack.prologmachine
Class PrologMachine.ExecutionStack

java.lang.Object
  |
  +--com.grack.prologmachine.PrologMachine.ExecutionStack

public class PrologMachine.ExecutionStack
extends java.lang.Object


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

PrologMachine.ExecutionStack

public PrologMachine.ExecutionStack()
Method Detail

top

public PrologMachine.ExecutionState top()

pop

public void pop()

copyTop

public void copyTop()

isSuccess

public boolean isSuccess()

isFailure

public boolean isFailure()

loadUnifiable

public void loadUnifiable(Unifiable u)