public class DepthFirstTraceSearch
extends java.lang.Object
Constructor and Description |
---|
DepthFirstTraceSearch(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
gnu.trove.map.TObjectShortMap<java.lang.String> label2short) |
DepthFirstTraceSearch(TestAntiAlignment.MarkedNet markedNet,
gnu.trove.map.TObjectShortMap<java.lang.String> label2short) |
Modifier and Type | Method and Description |
---|---|
protected void |
depthFirstSearch(int maxLength,
org.processmining.antialignments.bruteforce.DepthFirstTraceSearch.TraceHandler handler) |
protected boolean |
depthFirstSearchInternal(int maxLength,
int length,
org.processmining.antialignments.bruteforce.DepthFirstTraceSearch.TraceHandler handler) |
AntiAlignments |
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.
|
short[][] |
getLanguage(int maxLength)
Produces the language of the model in terms of sequences of observable
transitions.
|
public DepthFirstTraceSearch(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, gnu.trove.map.TObjectShortMap<java.lang.String> label2short)
public DepthFirstTraceSearch(TestAntiAlignment.MarkedNet markedNet, gnu.trove.map.TObjectShortMap<java.lang.String> label2short)
public short[][] getLanguage(int maxLength)
maxLength
- public AntiAlignments getAntiAlignments(short[][] log, int maxLength, double maxFactor, DistanceMetric metric)
log
- maxLength
- metric
- protected void depthFirstSearch(int maxLength, org.processmining.antialignments.bruteforce.DepthFirstTraceSearch.TraceHandler handler)
protected boolean depthFirstSearchInternal(int maxLength, int length, org.processmining.antialignments.bruteforce.DepthFirstTraceSearch.TraceHandler handler)