edu.toronto.cs.smv.parser
Class SmvCompiler
java.lang.Object
edu.toronto.cs.smv.parser.SmvCompiler
- All Implemented Interfaces:
- ModelCompiler
public class SmvCompiler
- extends java.lang.Object
- implements ModelCompiler
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SmvCompiler
public SmvCompiler()
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
main
public static void main(java.lang.String[] args)