edu.toronto.cs.boolpg
Class BoolProgramCompiler
java.lang.Object
edu.toronto.cs.boolpg.BoolProgramCompiler
- All Implemented Interfaces:
- ModelCompiler
public class BoolProgramCompiler
- extends java.lang.Object
- implements ModelCompiler
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BoolProgramCompiler
public BoolProgramCompiler()
setUseHyperEdges
public void setUseHyperEdges(boolean v)
getUseHyperEdges
public boolean getUseHyperEdges()
getInputFile
public java.io.File getInputFile()
setInputFile
public void setInputFile(java.io.File v)
getInit
public MvSet getInit()
getTrans
public MvRelation getTrans()
compile
public XKripkeStructure compile()
- Specified by:
compile
in interface ModelCompiler
handleUnknownVariable
public CTLNode handleUnknownVariable(java.lang.String name)
getCtlReWriter
public CTLReWriter getCtlReWriter()
getStatePresenter
public StatePresenter getStatePresenter()
main
public static void main(java.lang.String[] args)
throws java.lang.Exception
- Throws:
java.lang.Exception