public class StateEnd
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected EngineRunner |
c |
protected java.lang.String |
stateName |
Constructor and Description |
---|
StateEnd(EngineRunner c,
int end)
Constructor
|
Modifier and Type | Method and Description |
---|---|
int |
getResultDemo() |
Struct |
getResultGoal() |
java.util.List<Var> |
getResultVars() |
java.lang.String |
toString() |
protected EngineRunner c
protected java.lang.String stateName
public StateEnd(EngineRunner c, int end)
end
- Terminal state of computation