edu.toronto.cs.gclang.parser
Class VariableTable.StateVariable
java.lang.Object
edu.toronto.cs.gclang.parser.VariableTable.Variable
edu.toronto.cs.gclang.parser.VariableTable.StateVariable
- Direct Known Subclasses:
- VariableTable.DefineVariable
- Enclosing class:
- VariableTable
public class VariableTable.StateVariable
- extends VariableTable.Variable
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
VariableTable.StateVariable
public VariableTable.StateVariable(java.lang.String name,
int _shadowIdx,
int _id)
size
public int size()
- Overrides:
size
in class VariableTable.Variable
toString
public java.lang.String toString()
- Overrides:
toString
in class VariableTable.Variable
getId
public int getId()
getMvSet
public MvSet getMvSet()
setMvSet
protected void setMvSet(MvSet v)
eqShadow
public MvSet eqShadow(int idx)
- Specified by:
eqShadow
in class VariableTable.Variable
eq
public MvSet eq(VariableTable.Variable v)
- Specified by:
eq
in class VariableTable.Variable
eq
public MvSet eq(MvSet v)
- Specified by:
eq
in class VariableTable.Variable
eq
public MvSet eq(VariableTable.StateVariable v)
eq
public MvSet eq(java.lang.String v)
- Specified by:
eq
in class VariableTable.Variable
toCTL
public CTLNode toCTL(AlgebraValue[] state)
- Specified by:
toCTL
in class VariableTable.Variable