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

Packages that use VariableTable.Variable
edu.toronto.cs.boolpg.parser   
 

Uses of VariableTable.Variable in edu.toronto.cs.boolpg.parser
 

Subclasses of VariableTable.Variable in edu.toronto.cs.boolpg.parser
 class VariableTable.ProcessCounter
           
 class VariableTable.StateVariable
           
 

Methods in edu.toronto.cs.boolpg.parser that return VariableTable.Variable
 VariableTable.Variable VariableTable.getByName(java.lang.String name)
           
 VariableTable.Variable VariableTable.Variable.getShadow(int i)
           
 VariableTable.Variable[] VariableTable.Variable.getShadows()
           
 

Methods in edu.toronto.cs.boolpg.parser with parameters of type VariableTable.Variable
abstract  MvSet VariableTable.Variable.eq(VariableTable.Variable v)
           
 MvSet VariableTable.ProcessCounter.eq(VariableTable.Variable v)
           
 MvSet VariableTable.StateVariable.eq(VariableTable.Variable v)
           
 void VariableTable.Variable.setShadows(VariableTable.Variable[] v)