org.processmining.petrinets.list.plugin

Class ExportPetriNetListToPNListPlugin

java.lang.Object

org.processmining.petrinets.list.plugin.ExportPetriNetListToPNListPlugin

public class ExportPetriNetListToPNListPlugin
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ExportPetriNetListToPNListPlugin()

Method Summary

Modifier and Type	Method and Description
static void	export(org.processmining.framework.plugin.PluginContext context, PetriNetList list, java.io.File file)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExportPetriNetListToPNListPlugin

public ExportPetriNetListToPNListPlugin()

Method Detail

export

public static void export(org.processmining.framework.plugin.PluginContext context,
                          PetriNetList list,
                          java.io.File file)
                   throws java.io.IOException

Throws:

java.io.IOException