public class ConstraintSet
extends java.lang.Object
Constructor and Description |
---|
ConstraintSet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.deckfour.xes.classification.XEventClasses classes,
gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> c2id,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map) |
Modifier and Type | Method and Description |
---|---|
void |
reset() |
boolean |
satisfiedAfterOccurence(int label) |
int |
size() |
java.lang.String |
toString() |
public ConstraintSet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.deckfour.xes.classification.XEventClasses classes, gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> c2id, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map)