alice.tuprolog
Class StateEnd
java.lang.Object
alice.tuprolog.State
alice.tuprolog.StateEnd
- public class StateEnd
- extends alice.tuprolog.State
- Author:
- Alex Benini
End state of demostration.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
c
protected EngineManager c
stateName
protected java.lang.String stateName
StateEnd
public StateEnd(EngineManager c,
int end)
- Constructor
- Parameters:
end
- Terminal state of computation
getResultDemo
public int getResultDemo()
getResultGoal
public Struct getResultGoal()
getResultVars
public java.util.List getResultVars()
toString
public java.lang.String toString()