|
||||||||||
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.AxelEx2
public class AxelEx2
Nested Class Summary |
---|
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 | |
---|---|
AxelEx2()
|
Method Summary | |
---|---|
MvSet |
computeInit()
|
MvSet |
computeInitSingleState()
|
MvSet |
computeTrans()
|
Methods inherited from class edu.toronto.cs.smv.SMVModule |
---|
compile, declareAlgebraDefine, declareAlgebraVariable, declareIntDefine, declareIntVariable, getAlgebra, getMvSetFactory, getMvSetFactoryClass, getName, getNumDDVars, intConstant, next, next, setAlgebra, setMvSetFactoryClass |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public AxelEx2()
Method Detail |
---|
public MvSet computeInitSingleState()
public MvSet computeInit()
computeInit
in class SMVModule
public MvSet computeTrans()
computeTrans
in class SMVModule
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |