public class PlaceAlignmentVisitor
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
activations |
boolean |
bWentNeg |
java.util.Vector<org.apache.commons.lang3.tuple.Pair<org.deckfour.xes.model.XEvent,org.deckfour.xes.model.XEvent>> |
evtPairs |
int |
tokens |
Constructor and Description |
---|
PlaceAlignmentVisitor(org.processmining.models.graphbased.directed.petrinet.elements.Place myPlace,
INetDataSource net,
PetriNetIndexed pidx,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
void |
ProcessTrace(org.deckfour.xes.model.XTrace trc) |
public int activations
public int tokens
public boolean bWentNeg
public java.util.Vector<org.apache.commons.lang3.tuple.Pair<org.deckfour.xes.model.XEvent,org.deckfour.xes.model.XEvent>> evtPairs
public PlaceAlignmentVisitor(org.processmining.models.graphbased.directed.petrinet.elements.Place myPlace, INetDataSource net, PetriNetIndexed pidx, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking finalMarking)