public class StateEnd extends Object
Modifier and Type | Field and Description |
---|---|
protected EngineRunner |
c |
protected String |
stateName |
Constructor and Description |
---|
StateEnd(EngineRunner c,
int end)
Constructor
|
Modifier and Type | Method and Description |
---|---|
ArrayList<String> |
findVar(Struct s,
ArrayList<String> l) |
int |
getResultDemo() |
Struct |
getResultGoal() |
List<Var> |
getResultVars() |
void |
setStructValue(Var v,
int i,
Var v1) |
Var |
structValue(Var v,
int i) |
Struct |
substituteVar(Struct s,
ArrayList<String> lSol,
ArrayList<String> lgoal) |
String |
toString() |
Var |
varValue(Var v) |
Var |
varValue2(Var v) |
protected EngineRunner c
protected String stateName
public StateEnd(EngineRunner c, int end)
end
- Terminal state of computation