CoverabilitySet (PetriNets)

java.lang.Object
- java.util.AbstractCollection<E>
- - java.util.AbstractSet<E>
  - - java.util.TreeSet<M>
    - - org.processmining.models.graphbased.directed.petrinet.analysis.AbstractMarkingSet<CTMarking>
      - 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
  
  Constructors
  Constructor Description
  
  CoverabilitySet(CTMarking[] markings)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  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, spliterator, 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.Collection
    parallelStream, removeIf, stream, toArray
  - Methods inherited from interface java.lang.Iterable
    forEach
  - 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>