org.processmining.plugins.petrinet.replayresult.exporting

Class ExportPNMatchInstancesRepResultDetail

java.lang.Object

org.processmining.plugins.petrinet.replayresult.exporting.ExportPNMatchInstancesRepResultDetail

public class ExportPNMatchInstancesRepResultDetail
extends java.lang.Object

Author:

aadrians May 15, 2013

Constructor Summary

Constructors

Constructor and Description
ExportPNMatchInstancesRepResultDetail()

Method Summary

Methods

Modifier and Type	Method and Description
void	exportRepResult2File(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

ExportPNMatchInstancesRepResultDetail

public ExportPNMatchInstancesRepResultDetail()

Method Detail

exportRepResult2File

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

Throws:

java.io.IOException