edu.toronto.cs.smv
Class VariableTable.StateVariable

java.lang.Object
  extended by edu.toronto.cs.smv.VariableTable.Variable
      extended by edu.toronto.cs.smv.VariableTable.StateVariable
Direct Known Subclasses:
VariableTable.DefineVariable
Enclosing class:
VariableTable

public class VariableTable.StateVariable
extends VariableTable.Variable


Constructor Summary
VariableTable.StateVariable(java.lang.String name, int _id)
           
VariableTable.StateVariable(java.lang.String name, MvSet _mvSet)
           
 
Method Summary
 MvSet eq(MvSet v)
           
 MvSet eq(java.lang.String v)
           
 MvSet eq(VariableTable.StateVariable v)
           
 MvSet eq(VariableTable.Variable v)
           
 MvSet eqNext()
           
 int getId()
           
 MvSet getMvSet()
           
 int size()
           
 CTLNode toCTL(AlgebraValue[] state)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.smv.VariableTable.Variable
getName, getNext, isPostState, isPreState, setNext
 
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 _id)

VariableTable.StateVariable

public VariableTable.StateVariable(java.lang.String name,
                                   MvSet _mvSet)
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()

eqNext

public MvSet eqNext()
Specified by:
eqNext 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