public class ExtendedMarking<T extends java.lang.Comparable<T>>
extends java.lang.Object
Constructor and Description |
---|
ExtendedMarking() |
Modifier and Type | Method and Description |
---|---|
void |
addTo(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
T source) |
void |
addTo(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> places,
T source) |
java.util.SortedSet<T> |
peekFrom(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> places) |
java.util.Set<T> |
removeFrom(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> places) |
public void addTo(org.processmining.models.graphbased.directed.petrinet.elements.Place place, T source)
public void addTo(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> places, T source)
public java.util.SortedSet<T> peekFrom(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> places)
public java.util.Set<T> removeFrom(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> places)