Package | Description |
---|---|
org.processmining.models.semantics.petrinet | |
org.processmining.models.semantics.petrinet.impl |
Modifier and Type | Method and Description |
---|---|
void |
EfficientPetrinetSemantics.forEachMarkedPlace(EfficientPetrinetSemantics.PlaceVisitor placeVisitor)
Visits each place that is marked with one or more tokens.
|
void |
EfficientPetrinetSemantics.forEachPlace(EfficientPetrinetSemantics.PlaceVisitor placeVisitor)
Visits each place.
|
Modifier and Type | Method and Description |
---|---|
void |
EfficientPetrinetSemanticsImpl.forEachMarkedPlace(EfficientPetrinetSemantics.PlaceVisitor placeVisitor) |
void |
EfficientPetrinetSemanticsImpl.forEachPlace(EfficientPetrinetSemantics.PlaceVisitor placeVisitor) |