public class Uma_ExportAlignmentToCSV
extends java.lang.Object
Constructor and Description |
---|
Uma_ExportAlignmentToCSV() |
Modifier and Type | Method and Description |
---|---|
protected void |
exportAlignmentToCSV_simple(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.plugins.petrinet.replayresult.PNRepResult alignment,
java.io.File file) |
void |
exportPetriNetToEPNMLFile(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.plugins.petrinet.replayresult.PNRepResult alignment,
java.io.File file) |
public void exportPetriNetToEPNMLFile(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.plugins.petrinet.replayresult.PNRepResult alignment, java.io.File file) throws java.io.IOException
java.io.IOException
protected void exportAlignmentToCSV_simple(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.plugins.petrinet.replayresult.PNRepResult alignment, java.io.File file) throws java.io.IOException
java.io.IOException