Package org.processmining.models.graphbased.directed.petrinet.analysis

Class AbstractMarkingSet<M extends Marking>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.TreeSet<M>

org.processmining.models.graphbased.directed.petrinet.analysis.AbstractMarkingSet<M>

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<M>, java.util.Collection<M>, java.util.NavigableSet<M>, java.util.Set<M>, java.util.SortedSet<M>

Direct Known Subclasses:

CoverabilitySet, FinalMarkingSet, HomeMarkingSet, ReachabilitySet

public abstract class AbstractMarkingSet<M extends Marking>
extends java.util.TreeSet<M>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
AbstractMarkingSet(java.lang.String label, M... markings)

Method Summary

Modifier and Type	Method	Description
java.lang.String	getLabel()
Marking[]	getMarkings()

Methods inherited from class java.util.TreeSet

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

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.Set

containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Constructor Detail

AbstractMarkingSet

public AbstractMarkingSet(java.lang.String label,
                          M... markings)

Method Detail

getLabel

public java.lang.String getLabel()

getMarkings

public Marking[] getMarkings()