public class AntiAlignmentCalculator
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected static boolean |
VERBOSE |
Constructor and Description |
---|
AntiAlignmentCalculator(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) |
Modifier and Type | Method and Description |
---|---|
AntiAlignments |
getAntiAlignments(short[][] log,
int maxLength,
int maxFactor) |
protected <S extends State> |
update(SearchQueue<S> current,
short[][] log,
int traceToIgnore,
int maxLength) |
protected static final boolean VERBOSE
public AntiAlignmentCalculator(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 AntiAlignments getAntiAlignments(short[][] log, int maxLength, int maxFactor)
protected <S extends State> S update(SearchQueue<S> current, short[][] log, int traceToIgnore, int maxLength)