public class Marking extends org.processmining.framework.util.collection.TreeMultiSet<Place> implements java.lang.Comparable<Marking>
Constructor and Description |
---|
Marking() |
Marking(java.util.Collection<Place> collection) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Marking mset) |
boolean |
equals(java.lang.Object o)
returns true if the multisets are equal, i.e.
|
Marking |
minus(Marking m)
removes the elements in the given multiset from this multiset and returns
a multiset indicating what was removed.
|
baseSet, comparator
add, add, addAll, clear, contains, containsAll, containsAtLeast, hashCode, isEmpty, isLessOrEqual, iterator, occurrences, remove, removeAll, removeAllMultiSet, retainAll, retainAll, size, toHTMLString, toList, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
add, isLessOrEqual, occurrences, toList
public Marking(java.util.Collection<Place> collection)
public Marking()
public boolean equals(java.lang.Object o)
org.processmining.framework.util.collection.AbstractMultiSet
public Marking minus(Marking m)
mset
- the multiset of elements needing to be removed.