edu.toronto.cs.gclang.parser
Class VariableTable.EnumeratedVariable

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

public class VariableTable.EnumeratedVariable
extends VariableTable.Variable


Field Summary
 
Fields inherited from class edu.toronto.cs.gclang.parser.VariableTable.Variable
NAME_SUFFIX
 
Constructor Summary
VariableTable.EnumeratedVariable(java.lang.String _name, int _idx, java.lang.String[] _values)
           
 
Method Summary
 int bitSize()
           
 MvSet eq(MvSet v)
           
 MvSet eq(java.lang.String v)
           
 MvSet eq(VariableTable.EnumeratedVariable v)
           
 MvSet eq(VariableTable.Variable v)
           
 MvSet eqShadow(int idx)
           
 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.gclang.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.EnumeratedVariable

public VariableTable.EnumeratedVariable(java.lang.String _name,
                                        int _idx,
                                        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)

eqShadow

public MvSet eqShadow(int idx)
Specified by:
eqShadow 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