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