alice.tuprolog
Class StateEnd

java.lang.Object
  extended byalice.tuprolog.State
      extended byalice.tuprolog.StateEnd

public class StateEnd
extends alice.tuprolog.State

Author:
Alex Benini End state of demostration.

Field Summary
protected  EngineManager c
           
protected  java.lang.String stateName
           
 
Constructor Summary
StateEnd(EngineManager c, int end)
          Constructor
 
Method Summary
 int getResultDemo()
           
 Struct getResultGoal()
           
 java.util.List getResultVars()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

c

protected EngineManager c

stateName

protected java.lang.String stateName
Constructor Detail

StateEnd

public StateEnd(EngineManager c,
                int end)
Constructor

Parameters:
end - Terminal state of computation
Method Detail

getResultDemo

public int getResultDemo()

getResultGoal

public Struct getResultGoal()

getResultVars

public java.util.List getResultVars()

toString

public java.lang.String toString()