|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.boolpg.parser.VariableTable.Variable
edu.toronto.cs.boolpg.parser.VariableTable.ProcessCounter
public class VariableTable.ProcessCounter
Field Summary |
---|
Fields inherited from class edu.toronto.cs.boolpg.parser.VariableTable.Variable |
---|
NAME_SUFFIX |
Constructor Summary | |
---|---|
VariableTable.ProcessCounter()
|
Method Summary | |
---|---|
MvSet |
eq(MvSet v)
|
MvSet |
eq(java.lang.String v)
|
MvSet |
eq(VariableTable.Variable v)
|
MvSet |
eqShadow(int i)
|
CTLNode |
toCTL(AlgebraValue[] state)
|
Methods inherited from class edu.toronto.cs.boolpg.parser.VariableTable.Variable |
---|
getName, getShadow, getShadows, isShadow, setShadows, size, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public VariableTable.ProcessCounter()
Method Detail |
---|
public CTLNode toCTL(AlgebraValue[] state)
toCTL
in class VariableTable.Variable
public MvSet eq(VariableTable.Variable v)
eq
in class VariableTable.Variable
public MvSet eq(MvSet v)
eq
in class VariableTable.Variable
public MvSet eq(java.lang.String v)
eq
in class VariableTable.Variable
public MvSet eqShadow(int i)
eqShadow
in class VariableTable.Variable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |