public class TestAntiAlignment
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
TestAntiAlignment.MarkedNet |
Constructor and Description |
---|
TestAntiAlignment() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.petrinet.replayresult.PNRepResult |
basicCodeStructureWithoutAlignments(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog xLog) |
static void |
doExperimentForModelAndLog(java.lang.String path,
java.lang.String modelfile,
java.lang.String logfile,
DistanceMetric metric,
double maxFactor,
boolean verbose) |
static org.deckfour.xes.model.XLog |
loadLog(java.lang.String filename,
java.util.Set<java.lang.String> labels) |
static org.deckfour.xes.model.XLog |
loadLogFull(java.lang.String filename,
java.util.Set<java.lang.String> labels) |
static org.deckfour.xes.model.XLog |
loadLogFullTrace(java.lang.String filename,
java.util.Set<java.lang.String> labels) |
static TestAntiAlignment.MarkedNet |
loadModel(java.lang.String filename,
boolean verbose) |
static void |
main(java.lang.String[] args) |
static void |
printAntiAlignments(java.lang.String model,
AntiAlignments aa,
short[][] log,
int[] frequencies,
int[] newStateCount,
double[] recDistances,
java.lang.String[] short2label,
boolean printHeader) |
protected static void |
printEditDistances(short[][] log,
AntiAlignments aa) |
static java.lang.String |
toString(short[] sequence,
java.lang.String[] short2label) |
public static void main(java.lang.String[] args) throws java.io.IOException
java.io.IOException
public static void doExperimentForModelAndLog(java.lang.String path, java.lang.String modelfile, java.lang.String logfile, DistanceMetric metric, double maxFactor, boolean verbose) throws java.io.IOException
java.io.IOException
protected static void printEditDistances(short[][] log, AntiAlignments aa)
public static java.lang.String toString(short[] sequence, java.lang.String[] short2label)
public static org.deckfour.xes.model.XLog loadLog(java.lang.String filename, java.util.Set<java.lang.String> labels) throws java.io.IOException
java.io.IOException
public static org.deckfour.xes.model.XLog loadLogFull(java.lang.String filename, java.util.Set<java.lang.String> labels) throws java.io.IOException
java.io.IOException
public static org.deckfour.xes.model.XLog loadLogFullTrace(java.lang.String filename, java.util.Set<java.lang.String> labels) throws java.io.IOException
java.io.IOException
public static TestAntiAlignment.MarkedNet loadModel(java.lang.String filename, boolean verbose) throws java.io.IOException
java.io.IOException
public static void printAntiAlignments(java.lang.String model, AntiAlignments aa, short[][] log, int[] frequencies, int[] newStateCount, double[] recDistances, java.lang.String[] short2label, boolean printHeader)
public static org.processmining.plugins.petrinet.replayresult.PNRepResult basicCodeStructureWithoutAlignments(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, org.deckfour.xes.model.XLog xLog)