edu.toronto.cs.xkripke
Class XMLXKripkeModelCompiler

java.lang.Object
  extended by edu.toronto.cs.xkripke.XMLXKripkeModelCompiler
All Implemented Interfaces:
ModelCompiler

public class XMLXKripkeModelCompiler
extends java.lang.Object
implements ModelCompiler


Constructor Summary
XMLXKripkeModelCompiler()
           
 
Method Summary
 XKripkeStructure compile()
           
 java.io.File getXmlFile()
           
 void setXmlFile(java.io.File v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XMLXKripkeModelCompiler

public XMLXKripkeModelCompiler()
Method Detail

setXmlFile

public void setXmlFile(java.io.File v)

getXmlFile

public java.io.File getXmlFile()

compile

public XKripkeStructure compile()
Specified by:
compile in interface ModelCompiler