org.processmining.models.semantics.petrinet
Class Marking

java.lang.Object
  extended by java.util.AbstractCollection<T>
      extended by org.processmining.framework.util.collection.AbstractMultiSet<T,java.util.TreeMap<T,java.lang.Integer>>
          extended by org.processmining.framework.util.collection.TreeMultiSet<Place>
              extended by org.processmining.models.semantics.petrinet.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
Marking()
           
Marking(java.util.Collection<Place> collection)
           
 
Method Summary
 int compareTo(Marking mset)
           
 boolean equals(java.lang.Object o)
           
 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 org.processmining.framework.util.collection.MultiSet
add, isLessOrEqual, occurrences, toList
 
Methods inherited from interface java.util.Collection
add, addAll, clear, contains, containsAll, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray
 
Methods inherited from interface org.processmining.framework.util.HTMLToString
toHTMLString
 

Constructor Detail

Marking

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

Marking

public Marking()
Method Detail

equals

public boolean equals(java.lang.Object o)
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>