org.processmining.plugins.petrinet.replayresult.exporting

Class ExportPNMatchInstancesRepResult

java.lang.Object

org.processmining.plugins.petrinet.replayresult.exporting.ExportPNMatchInstancesRepResult

public class ExportPNMatchInstancesRepResult
extends java.lang.Object

Author:

aadrians Mar 14, 2012

Constructor Summary

Constructors

Constructor and Description
ExportPNMatchInstancesRepResult()

Method Summary

Methods

Modifier and Type	Method and Description
void	exportRepResult2File(org.processmining.contexts.uitopia.UIPluginContext context, PNMatchInstancesRepResult res, java.io.File file)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExportPNMatchInstancesRepResult

public ExportPNMatchInstancesRepResult()

Method Detail

exportRepResult2File

public void exportRepResult2File(org.processmining.contexts.uitopia.UIPluginContext context,
                        PNMatchInstancesRepResult res,
                        java.io.File file)