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

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

Method Summary

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, 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.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()