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)