public class AdjPlaces
extends java.lang.Object
Constructor and Description |
---|
AdjPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> preset,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> postset) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getIntersection() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getPostset() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getPreset() |
public AdjPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> preset, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> postset)
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getIntersection()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPreset()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPostset()