org.processmining.plugins.petrinet.manifestreplayresult.exporting

Class ExportManifest

java.lang.Object

org.processmining.plugins.petrinet.manifestreplayresult.exporting.ExportManifest

public class ExportManifest
extends java.lang.Object

Author:

aadrians Feb 28, 2012

Constructor Summary

Constructors

Constructor and Description
ExportManifest()

Method Summary

Methods

Modifier and Type	Method and Description
void	exportManifest2File(org.processmining.contexts.uitopia.UIPluginContext context, Manifest manifest, java.io.File file)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExportManifest

public ExportManifest()

Method Detail

exportManifest2File

public void exportManifest2File(org.processmining.contexts.uitopia.UIPluginContext context,
                       Manifest manifest,
                       java.io.File file)