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

java.lang.Object
  extended by edu.toronto.cs.boolpg.parser.VariableTable.Variable
Direct Known Subclasses:
VariableTable.ProcessCounter, VariableTable.StateVariable
Enclosing class:
VariableTable

public abstract class VariableTable.Variable
extends java.lang.Object


Field Summary
static java.lang.String NAME_SUFFIX
           
 
Constructor Summary
VariableTable.Variable(java.lang.String _name, int _idx)
           
 
Method Summary
abstract  MvSet eq(MvSet v)
           
abstract  MvSet eq(java.lang.String v)
           
abstract  MvSet eq(VariableTable.Variable v)
           
abstract  MvSet eqShadow(int i)
           
 java.lang.String getName()
           
 VariableTable.Variable getShadow(int i)
           
 VariableTable.Variable[] getShadows()
           
 boolean isShadow()
           
 void setShadows(VariableTable.Variable[] v)
           
 int size()
           
abstract  CTLNode toCTL(AlgebraValue[] state)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

NAME_SUFFIX

public static final java.lang.String NAME_SUFFIX
See Also:
Constant Field Values
Constructor Detail

VariableTable.Variable

public VariableTable.Variable(java.lang.String _name,
                              int _idx)
Method Detail

getName

public java.lang.String getName()

getShadow

public VariableTable.Variable getShadow(int i)

setShadows

public void setShadows(VariableTable.Variable[] v)

getShadows

public VariableTable.Variable[] getShadows()

isShadow

public boolean isShadow()

toString

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

eq

public abstract MvSet eq(VariableTable.Variable v)

eqShadow

public abstract MvSet eqShadow(int i)

eq

public abstract MvSet eq(MvSet v)

eq

public abstract MvSet eq(java.lang.String v)

toCTL

public abstract CTLNode toCTL(AlgebraValue[] state)

size

public int size()