edu.toronto.cs.yasm.pprogram
Class PProgramCompiler

java.lang.Object
  extended by edu.toronto.cs.yasm.pprogram.PProgramCompiler
All Implemented Interfaces:
ModelCompiler

public class PProgramCompiler
extends java.lang.Object
implements ModelCompiler

PProgramCompiler.java Created: Tue Jun 29 13:41:21 2004

Version:
1.0
Author:
Kelvin Ku

Constructor Summary
PProgramCompiler()
           
PProgramCompiler(boolean _useHyperEdges, boolean _unknownInit)
           
 
Method Summary
 XKripkeStructure compile()
          Describe compile method here.
 CTLReWriter getCtlReWriter()
           
protected  MvSet getInit()
           
 StatePresenter getStatePresenter()
           
protected  MvRelation getTrans()
           
static void main(java.lang.String[] args)
          Test code
 void seal()
          Describe seal method here.
 void setMaxDDVars(int v)
          Describe setMaxDDVars method here.
 void setPProgram(PProgram v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PProgramCompiler

public PProgramCompiler()

PProgramCompiler

public PProgramCompiler(boolean _useHyperEdges,
                        boolean _unknownInit)
Method Detail

getInit

protected MvSet getInit()

getTrans

protected MvRelation getTrans()

setPProgram

public void setPProgram(PProgram v)

setMaxDDVars

public void setMaxDDVars(int v)
Describe setMaxDDVars method here.

Parameters:
v - an int value

seal

public void seal()
Describe seal method here.


compile

public XKripkeStructure compile()
Describe compile method here.

Specified by:
compile in interface ModelCompiler
Returns:
a XKripkeStructure value

getCtlReWriter

public CTLReWriter getCtlReWriter()

getStatePresenter

public StatePresenter getStatePresenter()

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception
Test code

Parameters:
args - a String[] value
Throws:
java.lang.Exception