public class PerfMatrixAlignmentExporter
extends java.lang.Object
| Constructor and Description |
|---|
PerfMatrixAlignmentExporter() |
| Modifier and Type | Method and Description |
|---|---|
static void |
appendFreqInBuilder(java.lang.StringBuilder sb,
int[] orderInProvider,
PerfMatrixAlignmentProviderBetweenStarts provider,
PerfMatrixStats metric) |
static void |
appendStatsInBuilder(java.lang.StringBuilder sb,
int[] orderInProvider,
PerfMatrixAlignmentProviderBetweenStarts provider,
PerfMatrixStats metric) |
static void |
exportAsMatrix(org.processmining.models.graphbased.directed.petrinet.elements.Transition[] desiredOrder,
PerfMatrixAlignmentProviderBetweenStarts provider,
double divisor,
java.io.File file) |
public static void appendStatsInBuilder(java.lang.StringBuilder sb,
int[] orderInProvider,
PerfMatrixAlignmentProviderBetweenStarts provider,
PerfMatrixStats metric)
public static void appendFreqInBuilder(java.lang.StringBuilder sb,
int[] orderInProvider,
PerfMatrixAlignmentProviderBetweenStarts provider,
PerfMatrixStats metric)
public static void exportAsMatrix(org.processmining.models.graphbased.directed.petrinet.elements.Transition[] desiredOrder,
PerfMatrixAlignmentProviderBetweenStarts provider,
double divisor,
java.io.File file)