org.processmining.plugins.petrinet.replayresult.exporting

Class ExportPNRepResult

java.lang.Object

org.processmining.plugins.petrinet.replayresult.exporting.ExportPNRepResult

public class ExportPNRepResult
extends java.lang.Object

Author:

aadrians

Constructor Summary

Constructors

Constructor and Description
ExportPNRepResult()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	createStringRep(PNRepResult repResult, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log)
void	exportRepResult2File(org.processmining.contexts.uitopia.UIPluginContext context, PNRepResult net, java.io.File file)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExportPNRepResult

public ExportPNRepResult()

Method Detail

exportRepResult2File

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

Throws:

java.io.IOException

createStringRep

public java.lang.String createStringRep(PNRepResult repResult,
                               org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                               org.deckfour.xes.model.XLog log)