org.processmining.plugins.pnml.exporting
Class PnmlExportNetToPNML

java.lang.Object
  extended by org.processmining.plugins.pnml.exporting.PnmlExportNet
      extended by org.processmining.plugins.pnml.exporting.PnmlExportNetToPNML

public class PnmlExportNetToPNML
extends PnmlExportNet


Constructor Summary
PnmlExportNetToPNML()
           
 
Method Summary
 void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, ConfigurableResetInhibitorNet configurableNet, java.io.File file)
           
 void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, OpenNet openNet, java.io.File file)
           
 void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, Petrinet net, java.io.File file)
           
 
Methods inherited from class org.processmining.plugins.pnml.exporting.PnmlExportNet
exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PnmlExportNetToPNML

public PnmlExportNetToPNML()
Method Detail

exportPetriNetToPNMLFile

public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
                                     Petrinet net,
                                     java.io.File file)
                              throws java.io.IOException
Throws:
java.io.IOException

exportPetriNetToPNMLFile

public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
                                     OpenNet openNet,
                                     java.io.File file)
                              throws java.io.IOException
Throws:
java.io.IOException

exportPetriNetToPNMLFile

public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
                                     ConfigurableResetInhibitorNet configurableNet,
                                     java.io.File file)
                              throws java.io.IOException
Throws:
java.io.IOException