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

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

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

Methods in edu.toronto.cs.smv that return VariableTable.EnumeratedVariable
 VariableTable.EnumeratedVariable VariableTable.declareEnumerated(java.lang.String name, java.util.Collection values)
           
 VariableTable.EnumeratedVariable VariableTable.declareEnumerated(java.lang.String name, java.lang.String[] values)
           
 

Methods in edu.toronto.cs.smv with parameters of type VariableTable.EnumeratedVariable
 MvSet VariableTable.EnumeratedVariable.__eq(VariableTable.EnumeratedVariable v)
           
 MvSet VariableTable.EnumeratedVariable.eq(VariableTable.EnumeratedVariable v)