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

Packages that use VariableTable.DefineVariable
edu.toronto.cs.smv Provides classes to represent SMV models 
 

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

Methods in edu.toronto.cs.smv that return VariableTable.DefineVariable
 VariableTable.DefineVariable VariableTable.declareDefine(java.lang.String name, MvSet value)