Modifier and Type | Method and Description |
---|---|
AntiAlignments |
DepthFirstTraceSearch.getAntiAlignments(short[][] log,
int maxLength,
double maxFactor,
DistanceMetric metric)
Search through the trace-space of the model and find a trace for which
the minimal distance to any of the traces in the log is as high as
possible.
|
Modifier and Type | Method and Description |
---|---|
AntiAlignments |
AntiAlignmentCalculator.getAntiAlignments(short[][] log,
int maxLength,
int maxFactor) |
Modifier and Type | Method and Description |
---|---|
AntiAlignments |
HeuristicAntiAlignmentAlgorithm.computeAntiAlignments(org.processmining.framework.plugin.Progress progress,
AntiAlignmentParameters parameters) |
AntiAlignments |
HeuristicAntiAlignmentAlgorithm.computeAntiAlignments(org.processmining.framework.plugin.Progress progress,
int cutOffLength,
double maxFactor,
int backtrackLimit,
double backtrackThreshold) |
AntiAlignments |
AntiAlignmentILPCalculator.getAntiAlignments(org.processmining.framework.plugin.Progress progress,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
AntiAlignmentValues |
HeuristicAntiAlignmentAlgorithm.computePrecisionAndGeneralization(AntiAlignments aa) |
org.processmining.plugins.petrinet.replayresult.PNRepResult |
HeuristicAntiAlignmentAlgorithm.getPNRepResult(AntiAlignments aa,
AntiAlignmentValues values,
AntiAlignmentParameters parameters) |
protected org.processmining.plugins.replayer.replayresult.SyncReplayResult |
HeuristicAntiAlignmentAlgorithm.getSyncReplayResult(AntiAlignments antiAlignments,
int trace,
int maxLength) |
static void |
HeuristicAntiAlignmentAlgorithm.printAntiAlignments(java.lang.String model,
AntiAlignments aa,
short[][] log,
int[] frequencies,
int[] newStateCount,
double[] recDistances,
gnu.trove.map.TShortObjectMap<java.lang.String> short2label,
boolean printHeader) |
Modifier and Type | Method and Description |
---|---|
static void |
TestAntiAlignment.printAntiAlignments(java.lang.String model,
AntiAlignments aa,
short[][] log,
int[] frequencies,
int[] newStateCount,
double[] recDistances,
java.lang.String[] short2label,
boolean printHeader) |
protected static void |
TestAntiAlignment.printEditDistances(short[][] log,
AntiAlignments aa) |