Uses of Class
edu.toronto.cs.smv.VariableTable.Variable

Packages that use VariableTable.Variable
edu.toronto.cs.smv Provides classes to represent SMV models 
edu.toronto.cs.smv.parser ANTLR parsers for SMV models 
 

Uses of VariableTable.Variable in edu.toronto.cs.smv
 

Subclasses of VariableTable.Variable in edu.toronto.cs.smv
 class VariableTable.DefineVariable
           
 class VariableTable.EnumeratedVariable
           
 class VariableTable.StateVariable
           
 

Methods in edu.toronto.cs.smv that return VariableTable.Variable
 VariableTable.Variable VariableTable.getByName(java.lang.String name)
           
 VariableTable.Variable VariableTable.Variable.getNext()
           
 

Methods in edu.toronto.cs.smv with parameters of type VariableTable.Variable
abstract  MvSet VariableTable.Variable.eq(VariableTable.Variable v)
           
 MvSet VariableTable.EnumeratedVariable.eq(VariableTable.Variable v)
           
 MvSet VariableTable.StateVariable.eq(VariableTable.Variable v)
           
 void VariableTable.Variable.setNext(VariableTable.Variable v)
           
 

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

Methods in edu.toronto.cs.smv.parser that return VariableTable.Variable
protected  VariableTable.Variable FullDDBuilder.simpleVariable(antlr.collections.AST _t)
           
protected  VariableTable.Variable FullDDBuilder.variable(antlr.collections.AST _t)
           
 

Methods in edu.toronto.cs.smv.parser with parameters of type VariableTable.Variable
 MvSet FullDDBuilder.expression(antlr.collections.AST _t, VariableTable.Variable var)