Package org.processmining.placebasedlpmdiscovery.prom.plugins.exports

Class PlaceSetExportPlugin

java.lang.Object

org.processmining.placebasedlpmdiscovery.prom.plugins.exports.PlaceSetExportPlugin

public class PlaceSetExportPlugin
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
PlaceSetExportPlugin()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PlaceSetExportPlugin

public PlaceSetExportPlugin()

Method Detail

export

public static void export(org.processmining.framework.plugin.PluginContext context,
                          PlaceSet placeSet,
                          java.io.File file)