Package org.processmining.models.semantics.petrinet

Class Marking

  • All Implemented Interfaces:
    java.lang.Comparable<Marking>, java.lang.Iterable<Place>, java.util.Collection<Place>, org.processmining.framework.util.collection.MultiSet<Place>, org.processmining.framework.util.collection.SortedMultiSet<Place>, org.processmining.framework.util.HTMLToString
    Direct Known Subclasses:
    CTMarking
    public class Marking
extends org.processmining.framework.util.collection.TreeMultiSet<Place>
implements java.lang.Comparable<Marking>

    • Nested Class Summary

      • Nested classes/interfaces inherited from interface org.processmining.framework.util.HTMLToString

        org.processmining.framework.util.HTMLToString.HTMLCellRenderer

    • Field Summary

      • Fields inherited from class org.processmining.framework.util.collection.AbstractMultiSet

        map, size

    • Constructor Summary

      Constructors 
      Constructor Description
      Marking()  
      Marking​(java.util.Collection<Place> collection)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int compareTo​(Marking mset)  
      boolean equals​(java.lang.Object o)
      returns true if the multisets are equal, i.e.
      Marking minus​(Marking m)
      removes the elements in the given multiset from this multiset and returns a multiset indicating what was removed.

      • Methods inherited from class org.processmining.framework.util.collection.TreeMultiSet

        baseSet, comparator

      • Methods inherited from class org.processmining.framework.util.collection.AbstractMultiSet

        add, add, addAll, clear, contains, containsAll, containsAtLeast, hashCode, isEmpty, isLessOrEqual, iterator, occurrences, remove, removeAll, removeAllMultiSet, retainAll, retainAll, size, toHTMLString, toList, toString

      • Methods inherited from class java.util.AbstractCollection

        toArray, toArray

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface java.util.Collection

        add, addAll, clear, contains, containsAll, hashCode, isEmpty, iterator, parallelStream, remove, removeAll, removeIf, retainAll, size, spliterator, stream, toArray, toArray, toArray

      • Methods inherited from interface org.processmining.framework.util.HTMLToString

        toHTMLString

      • Methods inherited from interface java.lang.Iterable

        forEach

      • Methods inherited from interface org.processmining.framework.util.collection.MultiSet

        add, isLessOrEqual, occurrences, toList

    • Constructor Detail

      • Marking

        public Marking​(java.util.Collection<Place> collection)

      • Marking

        public Marking()

    • Method Detail

      • equals

        public boolean equals​(java.lang.Object o)
        Description copied from class: org.processmining.framework.util.collection.AbstractMultiSet
        returns true if the multisets are equal, i.e. if they contain the same objects with the same number of occurrences.
        Specified by:
        equals in interface java.util.Collection<Place>
        Overrides:
        equals in class org.processmining.framework.util.collection.AbstractMultiSet<Place,​java.util.TreeMap<Place,​java.lang.Integer>>

      • minus

        public Marking minus​(Marking m)
        removes the elements in the given multiset from this multiset and returns a multiset indicating what was removed.
        Parameters:
        mset - the multiset of elements needing to be removed.
        Returns:
        a new multiset where the occurrences are the occurrences in this multiset, minus the occurrences in the given multiset

      • compareTo

        public int compareTo​(Marking mset)
        Specified by:
        compareTo in interface java.lang.Comparable<Marking>