edu.toronto.cs.smv.parser
Class FlatSmvCompiler
java.lang.Object
edu.toronto.cs.smv.parser.FlatSmvCompiler
- All Implemented Interfaces:
- ModelCompiler
public class FlatSmvCompiler
- extends java.lang.Object
- implements ModelCompiler
Depricated
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FlatSmvCompiler
public FlatSmvCompiler()
setMvSetFactoryClass
public void setMvSetFactoryClass(java.lang.Class v)
getMvSetFactoryClass
public java.lang.Class getMvSetFactoryClass()
getAlgebra
public IAlgebra getAlgebra()
setAlgebra
public void setAlgebra(IAlgebra v)
getInputFile
public java.io.File getInputFile()
setInputFile
public void setInputFile(java.io.File v)
compile
public XKripkeStructure compile()
- Specified by:
compile
in interface ModelCompiler