edu.toronto.cs.smv
Class VariableTable.EnumeratedVariable

java.lang.Object
  extended by edu.toronto.cs.smv.VariableTable.Variable
      extended by edu.toronto.cs.smv.VariableTable.EnumeratedVariable
Enclosing class:
VariableTable

public class VariableTable.EnumeratedVariable
extends VariableTable.Variable


Constructor Summary
VariableTable.EnumeratedVariable(java.lang.String _name, java.lang.String[] _values)
           
 
Method Summary
 MvSet __eq(VariableTable.EnumeratedVariable v)
           
 int bitSize()
           
 MvSet eq(MvSet v)
           
 MvSet eq(java.lang.String v)
           
 MvSet eq(VariableTable.EnumeratedVariable v)
           
 MvSet eq(VariableTable.Variable v)
           
 MvSet eqNext()
           
 int getBitId(int bit)
           
 java.lang.String[] getValues()
           
 void setBits(int[] v)
           
 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.EnumeratedVariable

public VariableTable.EnumeratedVariable(java.lang.String _name,
                                        java.lang.String[] _values)
Method Detail

getValues

public java.lang.String[] getValues()

setBits

public void setBits(int[] v)

size

public int size()
Overrides:
size in class VariableTable.Variable

bitSize

public int bitSize()

getBitId

public int getBitId(int bit)

eq

public MvSet eq(MvSet v)
Specified by:
eq in class VariableTable.Variable

eq

public MvSet eq(VariableTable.Variable v)
Specified by:
eq in class VariableTable.Variable

eq

public MvSet eq(java.lang.String v)
Specified by:
eq in class VariableTable.Variable

eq

public MvSet eq(VariableTable.EnumeratedVariable v)

__eq

public MvSet __eq(VariableTable.EnumeratedVariable v)

eqNext

public MvSet eqNext()
Specified by:
eqNext in class VariableTable.Variable

toCTL

public CTLNode toCTL(AlgebraValue[] state)
Specified by:
toCTL in class VariableTable.Variable

toString

public java.lang.String toString()
Overrides:
toString in class VariableTable.Variable