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

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

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

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

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

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