alice.tuprolog

Class StateEnd

java.lang.Object

alice.tuprolog.StateEnd

public class StateEnd
extends Object

Author:

Alex Benini End state of demostration.

Field Summary

Fields

Modifier and Type	Field and Description
protected EngineManager	c
protected String	stateName

Constructor Summary

Constructors

Constructor and Description
StateEnd(EngineManager c, int end) Constructor

Method Summary

Methods

Modifier and Type	Method and Description
int	getResultDemo()
Struct	getResultGoal()
List	getResultVars()
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 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 List getResultVars()

toString

public String toString()