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

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

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

Methods in edu.toronto.cs.smv that return SMVModule.IntVariable
 SMVModule.IntVariable SMVModule.declareIntVariable(java.lang.String name, int start, int stop)
           
 SMVModule.IntVariable SMVModule.DeclaredVariables.declareIntVariable(java.lang.String name, int start, int stop)
           
 SMVModule.IntVariable Lift.LiftCabin.getFloor()
           
 SMVModule.IntVariable MainLift.Lift.getFloor()
           
 SMVModule.IntVariable LiftAbstract.LiftCabin.getFloor()
           
 SMVModule.IntVariable SMVModule.next(SMVModule.IntVariable v)
           
 

Methods in edu.toronto.cs.smv with parameters of type SMVModule.IntVariable
 SMVModule.IntVariable SMVModule.next(SMVModule.IntVariable v)