edu.toronto.cs.boolpg.parser
Class VariableTable.Variable
java.lang.Object
edu.toronto.cs.boolpg.parser.VariableTable.Variable
- Direct Known Subclasses:
- VariableTable.ProcessCounter, VariableTable.StateVariable
- Enclosing class:
- VariableTable
public abstract class VariableTable.Variable
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
NAME_SUFFIX
public static final java.lang.String NAME_SUFFIX
- See Also:
- Constant Field Values
VariableTable.Variable
public VariableTable.Variable(java.lang.String _name,
int _idx)
getName
public java.lang.String getName()
getShadow
public VariableTable.Variable getShadow(int i)
setShadows
public void setShadows(VariableTable.Variable[] v)
getShadows
public VariableTable.Variable[] getShadows()
isShadow
public boolean isShadow()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
eq
public abstract MvSet eq(VariableTable.Variable v)
eqShadow
public abstract MvSet eqShadow(int i)
eq
public abstract MvSet eq(MvSet v)
eq
public abstract MvSet eq(java.lang.String v)
toCTL
public abstract CTLNode toCTL(AlgebraValue[] state)
size
public int size()