|
||||||||||
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.Game
public class Game
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 | |
---|---|
Game()
|
Method Summary | |
---|---|
MvSet |
computeInit()
|
MvSet |
computeTrans()
|
static SMVModule |
initModule(java.lang.String[] args)
|
static void |
main(java.lang.String[] args)
|
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 Game()
Method Detail |
---|
public MvSet computeTrans()
computeTrans
in class SMVModule
public MvSet computeInit()
computeInit
in class SMVModule
public static SMVModule initModule(java.lang.String[] args)
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |