Uses of Interface
org.processmining.models.semantics.petrinet.EfficientPetrinetSemantics.PlaceVisitor

Packages that use EfficientPetrinetSemantics.PlaceVisitor

Package	Description
org.processmining.models.semantics.petrinet
org.processmining.models.semantics.petrinet.impl

Uses of EfficientPetrinetSemantics.PlaceVisitor in org.processmining.models.semantics.petrinet

Methods in org.processmining.models.semantics.petrinet with parameters of type EfficientPetrinetSemantics.PlaceVisitor

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.

Uses of EfficientPetrinetSemantics.PlaceVisitor in org.processmining.models.semantics.petrinet.impl

Methods in org.processmining.models.semantics.petrinet.impl with parameters of type EfficientPetrinetSemantics.PlaceVisitor

Modifier and Type	Method and Description
void	EfficientPetrinetSemanticsImpl.forEachMarkedPlace(EfficientPetrinetSemantics.PlaceVisitor placeVisitor)
void	EfficientPetrinetSemanticsImpl.forEachPlace(EfficientPetrinetSemantics.PlaceVisitor placeVisitor)