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

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

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

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

Methods in edu.toronto.cs.smv that return VariableTable.StateVariable
 VariableTable.StateVariable VariableTable.declarePropositional(java.lang.String name)
           
 

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