edu.toronto.cs.smv
Class VariableTable.EnumeratedVariable
java.lang.Object
edu.toronto.cs.smv.VariableTable.Variable
edu.toronto.cs.smv.VariableTable.EnumeratedVariable
- Enclosing class:
- VariableTable
public class VariableTable.EnumeratedVariable
- extends VariableTable.Variable
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
VariableTable.EnumeratedVariable
public VariableTable.EnumeratedVariable(java.lang.String _name,
java.lang.String[] _values)
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