edu.toronto.cs.smv.parser
Class FlatSmvCompiler

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

public class FlatSmvCompiler
extends java.lang.Object
implements ModelCompiler

Depricated


Constructor Summary
FlatSmvCompiler()
           
 
Method Summary
 XKripkeStructure compile()
           
 IAlgebra getAlgebra()
           
 java.io.File getInputFile()
           
 java.lang.Class getMvSetFactoryClass()
           
 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

FlatSmvCompiler

public FlatSmvCompiler()
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