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

Constructors

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

Method Summary

Modifier and Type	Method and 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 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, parallelStream, remove, removeAll, removeIf, retainAll, size, spliterator, stream, toArray, toArray

Methods inherited from interface java.lang.Iterable

forEach

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)

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>