edu.toronto.cs.boolpg.parser
Class VariableTable.StateVariable

java.lang.Object
  extended by edu.toronto.cs.boolpg.parser.VariableTable.Variable
      extended by edu.toronto.cs.boolpg.parser.VariableTable.StateVariable
Enclosing class:
VariableTable

public class VariableTable.StateVariable
extends VariableTable.Variable


Field Summary
 
Fields inherited from class edu.toronto.cs.boolpg.parser.VariableTable.Variable
NAME_SUFFIX
 
Constructor Summary
VariableTable.StateVariable(java.lang.String name, int _shadowIdx, int _id)
           
 
Method Summary
 MvSet eq(MvSet v)
           
 MvSet eq(java.lang.String v)
           
 MvSet eq(VariableTable.StateVariable v)
           
 MvSet eq(VariableTable.Variable v)
           
 MvSet eqShadow(int idx)
           
 int getId()
           
 MvSet getMvSet()
           
protected  void setMvSet(MvSet v)
           
 int size()
           
 CTLNode toCTL(AlgebraValue[] state)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.boolpg.parser.VariableTable.Variable
getName, getShadow, getShadows, isShadow, setShadows
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

VariableTable.StateVariable

public VariableTable.StateVariable(java.lang.String name,
                                   int _shadowIdx,
                                   int _id)
Method Detail

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