org.processmining.models.semantics.petrinet
Class Marking

java.lang.Object
  java.util.AbstractCollection<T>
      org.processmining.framework.util.collection.AbstractMultiSet<T,java.util.TreeMap<T,java.lang.Integer>>
          org.processmining.framework.util.collection.TreeMultiSet<Place>
              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>