public class PerfMatrixManifestExporter
extends java.lang.Object
| Constructor and Description |
|---|
PerfMatrixManifestExporter() |
| Modifier and Type | Method and Description |
|---|---|
static void |
appendFreqInBuilder(java.lang.StringBuilder sb,
int[] orderInProvider,
PerfMatrixManifestProvider provider) |
static void |
appendStatsInBuilder(java.lang.StringBuilder sb,
int[] orderInProvider,
PerfMatrixManifestProvider provider,
PerfMatrixStats metric) |
static void |
exportAsMatrix(org.processmining.plugins.petrinet.manifestreplayer.transclassifier.TransClass[] desiredOrder,
PerfMatrixManifestProvider provider,
double divisor,
java.io.File file) |
public static void appendStatsInBuilder(java.lang.StringBuilder sb,
int[] orderInProvider,
PerfMatrixManifestProvider provider,
PerfMatrixStats metric)
public static void appendFreqInBuilder(java.lang.StringBuilder sb,
int[] orderInProvider,
PerfMatrixManifestProvider provider)
public static void exportAsMatrix(org.processmining.plugins.petrinet.manifestreplayer.transclassifier.TransClass[] desiredOrder,
PerfMatrixManifestProvider provider,
double divisor,
java.io.File file)