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

Class HomeMarkingSet

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.HomeMarkingSet

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 HomeMarkingSet
extends AbstractMarkingSet<Marking>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
HomeMarkingSet(Marking[] markings)

Method Summary

Modifier and Type	Method and 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.Set

containsAll, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

HomeMarkingSet

public HomeMarkingSet(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>