edu.toronto.cs.boolpg
Class BoolProgramCompiler

java.lang.Object
  extended by edu.toronto.cs.boolpg.BoolProgramCompiler
All Implemented Interfaces:
ModelCompiler

public class BoolProgramCompiler
extends java.lang.Object
implements ModelCompiler


Constructor Summary
BoolProgramCompiler()
           
 
Method Summary
 XKripkeStructure compile()
           
 CTLReWriter getCtlReWriter()
           
 MvSet getInit()
           
 java.io.File getInputFile()
           
 StatePresenter getStatePresenter()
           
 MvRelation getTrans()
           
 boolean getUseHyperEdges()
           
 CTLNode handleUnknownVariable(java.lang.String name)
           
static void main(java.lang.String[] args)
           
 void setInputFile(java.io.File v)
           
 void setUseHyperEdges(boolean v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BoolProgramCompiler

public BoolProgramCompiler()
Method Detail

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