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

Packages that use SMVModule.Variable
edu.toronto.cs.smv Provides classes to represent SMV models 
 

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

Subclasses of SMVModule.Variable in edu.toronto.cs.smv
 class SMVModule.AlgebraDefine
           
 class SMVModule.AlgebraVariable
           
 class SMVModule.IntDefine
           
 class SMVModule.IntVariable
           
 

Methods in edu.toronto.cs.smv that return SMVModule.Variable
 SMVModule.Variable SMVModule.DeclaredVariables.get(java.lang.String name)
           
 SMVModule.Variable SMVModule.Variable.getNext()
           
 

Methods in edu.toronto.cs.smv with parameters of type SMVModule.Variable
 SMVModule.CaseStatement SMVModule.CaseStatement.addCase(SMVModule.Variable v, MvSet stmt)
           
 MvSet SMVModule.Variable.eq(SMVModule.Variable v)
           
 void SMVModule.Variable.setNext(SMVModule.Variable v)