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

Class AbstractInvariantSet<T extends PetrinetNode>

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<org.processmining.framework.util.collection.MultiSet<T>>, java.util.Collection<org.processmining.framework.util.collection.MultiSet<T>>, java.util.Set<org.processmining.framework.util.collection.MultiSet<T>>
    Direct Known Subclasses:
    NonLiveSequences, PlaceInvariantSet, TransitionInvariantSet, UnboundedSequences
    public abstract class AbstractInvariantSet<T extends PetrinetNode>
extends java.util.HashSet<org.processmining.framework.util.collection.MultiSet<T>>
    This class represents a node marking. A set in this class stores place/transition which is need to be marked. A set of set enables this class to store several set of place/transition which are need to be marked.
    Version:
    Oct 5, 2008
    Author:
    arya
    See Also:
    Serialized Form

    • Constructor Summary

      Constructors 
      Constructor Description
      AbstractInvariantSet​(java.lang.String label)
      Default constructor

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getLabel()
      getter for label

      • Methods inherited from class java.util.HashSet

        add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator

      • Methods inherited from class java.util.AbstractSet

        equals, hashCode, removeAll

      • Methods inherited from class java.util.AbstractCollection

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

        addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

    • Constructor Detail

      • AbstractInvariantSet

        public AbstractInvariantSet​(java.lang.String label)
        Default constructor

    • Method Detail

      • getLabel

        public java.lang.String getLabel()
        getter for label
        Returns: