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 Description HomeMarkingSet(Marking[] markings)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(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.AbstractCollection
containsAll, retainAll, toArray, toArray, toString
-
-
-
-
Constructor Detail
-
HomeMarkingSet
public HomeMarkingSet(Marking[] markings)
-
-