edu.toronto.cs.smv.parser
Class SmvCompiler

java.lang.Object
  extended by edu.toronto.cs.smv.parser.SmvCompiler
All Implemented Interfaces:
ModelCompiler

public class SmvCompiler
extends java.lang.Object
implements ModelCompiler


Constructor Summary
SmvCompiler()
           
 
Method Summary
 XKripkeStructure compile()
           
 IAlgebra getAlgebra()
           
 java.io.File getInputFile()
           
 java.lang.Class getMvSetFactoryClass()
           
static void main(java.lang.String[] args)
           
 void setAlgebra(IAlgebra v)
           
 void setInputFile(java.io.File v)
           
 void setMvSetFactoryClass(java.lang.Class v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SmvCompiler

public SmvCompiler()
Method Detail

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)