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

java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractSet<E>
          extended by java.util.TreeSet<M>
              extended by org.processmining.models.graphbased.directed.petrinet.analysis.AbstractMarkingSet<CTMarking>
                  extended by org.processmining.models.graphbased.directed.petrinet.analysis.CoverabilitySet
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<CTMarking>, java.util.Collection<CTMarking>, java.util.NavigableSet<CTMarking>, java.util.Set<CTMarking>, java.util.SortedSet<CTMarking>

public class CoverabilitySet
extends AbstractMarkingSet<CTMarking>

See Also:
Serialized Form

Constructor Summary
CoverabilitySet(CTMarking[] 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

CoverabilitySet

public CoverabilitySet(CTMarking[] markings)
Method Detail

equals

public boolean equals(java.lang.Object o)
Specified by:
equals in interface java.util.Collection<CTMarking>
Specified by:
equals in interface java.util.Set<CTMarking>
Overrides:
equals in class java.util.AbstractSet<CTMarking>