org.processmining.plugins.pnml.exporting
Class PnmlExportNetToEPNML

java.lang.Object
  org.processmining.plugins.pnml.exporting.PnmlExportNet
      org.processmining.plugins.pnml.exporting.PnmlExportNetToEPNML

public class PnmlExportNetToEPNML
extends PnmlExportNet

Constructor Summary

PnmlExportNetToEPNML()

Method Summary

void	exportPetriNetToEPNMLFile(org.processmining.framework.plugin.PluginContext context, OpenNet openNet, java.io.File file)
void	exportPetriNetToEPNMLFile(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

PnmlExportNetToEPNML

public PnmlExportNetToEPNML()

Method Detail

exportPetriNetToEPNMLFile

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

Throws:

java.io.IOException

exportPetriNetToEPNMLFile

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

Throws:

java.io.IOException