public class ReachabilitySet extends AbstractMarkingSet<Marking>
Constructor and Description |
---|
ReachabilitySet(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 ReachabilitySet(Marking[] markings)