public class AlignmentSemanticsBuilder<T extends SegmentTemplateBuilder>
extends java.lang.Object
Constructor and Description |
---|
AlignmentSemanticsBuilder(org.processmining.models.semantics.petrinet.Marking initialMarking,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,AdjPlaces> adjPlacesMap) |
Modifier and Type | Method and Description |
---|---|
AlignmentSemantics |
getAlignmentSemantics() |
void |
invMove(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
void |
modelMove(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
void |
syncMove(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
int eventIndex) |
public AlignmentSemanticsBuilder(org.processmining.models.semantics.petrinet.Marking initialMarking, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,AdjPlaces> adjPlacesMap)
public void syncMove(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, int eventIndex)
public void modelMove(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public void invMove(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public AlignmentSemantics getAlignmentSemantics()