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

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

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

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

Methods in edu.toronto.cs.smv that return SMVModule.AlgebraDefine
 SMVModule.AlgebraDefine SMVModule.declareAlgebraDefine(java.lang.String name)
           
 SMVModule.AlgebraDefine SMVModule.DeclaredVariables.declareAlgebraDefine(java.lang.String name)
           
 

Methods in edu.toronto.cs.smv with parameters of type SMVModule.AlgebraDefine
 void Lift.LiftCabin.setNoCall(SMVModule.AlgebraDefine v)
           
 void MainLift.Lift.setNoCall(SMVModule.AlgebraDefine v)
           
 void LiftAbstract.LiftCabin.setNoCall(SMVModule.AlgebraDefine v)