Uses of Interface
org.processmining.specpp.datastructures.encoding.NonMutatingSetOperations

Packages that use NonMutatingSetOperations

Package	Description
org.processmining.specpp.datastructures.petri

Uses of NonMutatingSetOperations in org.processmining.specpp.datastructures.petri

Classes in org.processmining.specpp.datastructures.petri that implement NonMutatingSetOperations

Modifier and Type	Class	Description
class	Place	A class representing a Petri net place as a combination of its preset and postset.