public class PNRepResultExportPlugin
extends java.lang.Object
Constructor and Description |
---|
PNRepResultExportPlugin() |
Modifier and Type | Method and Description |
---|---|
void |
printResult(java.io.PrintStream out,
org.processmining.plugins.petrinet.replayresult.PNRepResult result,
int estRows,
int estColumns,
java.lang.String sep) |