public class PlaceInvariantSet extends AbstractInvariantSet<Place>
Constructor and Description |
---|
PlaceInvariantSet() |
PlaceInvariantSet(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
getLabel
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
addAll, containsAll, retainAll, toArray, toArray, toString
finalize, getClass, notify, notifyAll, wait, wait, wait
public PlaceInvariantSet()
public PlaceInvariantSet(java.lang.String label)
public boolean equals(java.lang.Object o)
equals
in interface java.util.Collection<org.processmining.framework.util.collection.MultiSet<Place>>
equals
in interface java.util.Set<org.processmining.framework.util.collection.MultiSet<Place>>
equals
in class java.util.AbstractSet<org.processmining.framework.util.collection.MultiSet<Place>>