|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SMVModule.Variable | |
---|---|
edu.toronto.cs.smv | Provides classes to represent SMV models |
Uses of SMVModule.Variable in edu.toronto.cs.smv |
---|
Subclasses of SMVModule.Variable in edu.toronto.cs.smv | |
---|---|
class |
SMVModule.AlgebraDefine
|
class |
SMVModule.AlgebraVariable
|
class |
SMVModule.IntDefine
|
class |
SMVModule.IntVariable
|
Methods in edu.toronto.cs.smv that return SMVModule.Variable | |
---|---|
SMVModule.Variable |
SMVModule.DeclaredVariables.get(java.lang.String name)
|
SMVModule.Variable |
SMVModule.Variable.getNext()
|
Methods in edu.toronto.cs.smv with parameters of type SMVModule.Variable | |
---|---|
SMVModule.CaseStatement |
SMVModule.CaseStatement.addCase(SMVModule.Variable v,
MvSet stmt)
|
MvSet |
SMVModule.Variable.eq(SMVModule.Variable v)
|
void |
SMVModule.Variable.setNext(SMVModule.Variable v)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |