public class TransitionInvariantSet extends AbstractInvariantSet<Transition>
Constructor and Description |
---|
TransitionInvariantSet() |
TransitionInvariantSet(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 TransitionInvariantSet()
public TransitionInvariantSet(java.lang.String label)
public boolean equals(java.lang.Object o)
equals
in interface java.util.Collection<org.processmining.framework.util.collection.MultiSet<Transition>>
equals
in interface java.util.Set<org.processmining.framework.util.collection.MultiSet<Transition>>
equals
in class java.util.AbstractSet<org.processmining.framework.util.collection.MultiSet<Transition>>