public class FinalMarkingSet extends AbstractMarkingSet<Marking>
Constructor and Description |
---|
FinalMarkingSet(Marking[] markings) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
getLabel, getMarkings
add, addAll, ceiling, clear, clone, comparator, contains, descendingIterator, descendingSet, first, floor, headSet, headSet, higher, isEmpty, iterator, last, lower, pollFirst, pollLast, remove, size, spliterator, subSet, subSet, tailSet, tailSet
containsAll, retainAll, toArray, toArray, toString
finalize, getClass, notify, notifyAll, wait, wait, wait
public FinalMarkingSet(Marking[] markings)