|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |