|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SMVModule.AlgebraVariable | |
---|---|
edu.toronto.cs.smv | Provides classes to represent SMV models |
Uses of SMVModule.AlgebraVariable in edu.toronto.cs.smv |
---|
Methods in edu.toronto.cs.smv that return SMVModule.AlgebraVariable | |
---|---|
SMVModule.AlgebraVariable |
SMVModule.declareAlgebraVariable(java.lang.String name)
|
SMVModule.AlgebraVariable |
SMVModule.DeclaredVariables.declareAlgebraVariable(java.lang.String name)
|
SMVModule.AlgebraVariable |
Lift.LiftCabin.getDir()
|
SMVModule.AlgebraVariable |
MainLift.Lift.getDir()
|
SMVModule.AlgebraVariable |
LiftAbstract.LiftCabin.getDir()
|
SMVModule.AlgebraVariable |
Lift.LiftCabin.getDoor()
|
SMVModule.AlgebraVariable |
MainLift.Lift.getDoor()
|
SMVModule.AlgebraVariable |
LiftAbstract.LiftCabin.getDoor()
|
SMVModule.AlgebraVariable |
MainLift.Button.getPressed()
|
SMVModule.AlgebraVariable |
Lift.Button.getRequest()
|
SMVModule.AlgebraVariable |
LiftAbstract.Button.getRequest()
|
SMVModule.AlgebraVariable |
SMVModule.next(SMVModule.AlgebraVariable v)
|
Methods in edu.toronto.cs.smv with parameters of type SMVModule.AlgebraVariable | |
---|---|
MvSet |
SMVModule.AlgebraDefine.and(SMVModule.AlgebraVariable v)
|
SMVModule.AlgebraVariable |
SMVModule.next(SMVModule.AlgebraVariable v)
|
MvSet |
SMVModule.AlgebraDefine.or(SMVModule.AlgebraVariable v)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |