|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.smv.SMVModule
edu.toronto.cs.smv.LiftAbstract
public class LiftAbstract
Nested Class Summary | |
---|---|
class |
LiftAbstract.Button
|
class |
LiftAbstract.LiftCabin
|
Nested classes/interfaces inherited from class edu.toronto.cs.smv.SMVModule |
---|
SMVModule.AlgebraDefine, SMVModule.AlgebraVariable, SMVModule.BoolCaseStatement, SMVModule.CaseStatement, SMVModule.DeclaredVariables, SMVModule.DestructivePropertyFiller, SMVModule.IntDefine, SMVModule.IntVariable, SMVModule.SMVStatePresenter, SMVModule.Variable |
Field Summary |
---|
Fields inherited from class edu.toronto.cs.smv.SMVModule |
---|
NEXT_SUFFIX, VAR_SEP |
Constructor Summary | |
---|---|
LiftAbstract()
|
Method Summary | |
---|---|
MvSet |
computeCall(LiftAbstract.Button[] buttons)
|
MvSet |
computeInit()
|
MvSet |
computeTrans()
|
int |
getFloors()
|
static void |
main(java.lang.String[] args)
|
void |
setAlgebra(IAlgebra algebra)
|
void |
setFloors(int v)
|
Methods inherited from class edu.toronto.cs.smv.SMVModule |
---|
compile, declareAlgebraDefine, declareAlgebraVariable, declareIntDefine, declareIntVariable, getAlgebra, getMvSetFactory, getMvSetFactoryClass, getName, getNumDDVars, intConstant, next, next, setMvSetFactoryClass |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public LiftAbstract()
Method Detail |
---|
public int getFloors()
public void setFloors(int v)
public void setAlgebra(IAlgebra algebra)
setAlgebra
in class SMVModule
public MvSet computeTrans()
computeTrans
in class SMVModule
public MvSet computeInit()
computeInit
in class SMVModule
public MvSet computeCall(LiftAbstract.Button[] buttons)
public static void main(java.lang.String[] args)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |