org.processmining.models.graphbased.directed.petrinet.analysis
Class FinalMarkingSet

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet<E>
          java.util.TreeSet<M>
              org.processmining.models.graphbased.directed.petrinet.analysis.AbstractMarkingSet<Marking>
                  org.processmining.models.graphbased.directed.petrinet.analysis.FinalMarkingSet

All Implemented Interfaces:

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

public class FinalMarkingSet
extends AbstractMarkingSet<Marking>

See Also:

Serialized Form

Constructor Summary

FinalMarkingSet(Marking[] markings)

Method Summary

boolean

equals(java.lang.Object o)

Methods inherited from class org.processmining.models.graphbased.directed.petrinet.analysis.AbstractMarkingSet

getLabel, 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

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, hashCode, removeAll, retainAll, toArray, toArray

Constructor Detail

FinalMarkingSet

public FinalMarkingSet(Marking[] markings)

Method Detail

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface java.util.Collection<Marking>

Specified by:

equals in interface java.util.Set<Marking>

Overrides:

equals in class java.util.AbstractSet<Marking>