public class CTMarking extends Marking
Constructor and Description |
---|
CTMarking()
Default constructor
|
CTMarking(java.util.Collection<Place> collection)
Constructor with collection parameter
|
CTMarking(CTMarking collection)
Constructor with marking parameter
|
Modifier and Type | Method and Description |
---|---|
boolean |
addOmegaPlace(Place p)
Add a place which should be presented with omega
|
boolean |
equals(java.lang.Object o)
returns true if the multisets are equal, i.e.
|
java.util.Set<Place> |
getOmegaPlaces()
Get a set of omega places
|
boolean |
hasOmegaPlace()
Return true if the CTMarking has omega place
|
boolean |
isLessOrEqual(org.processmining.framework.util.collection.MultiSet<Place> multiSet)
returns true if this multiset is less or equal to the given multiset,
i.e.
|
Marking |
minus(CTMarking m)
removes the elements in the given multiset from this multiset and returns
a multiset indicating what was removed.
|
boolean |
remove(java.lang.Object o)
removes the given object from this multiset, if it is in there.
|
protected <S extends org.processmining.framework.util.collection.MultiSet<Place>> |
removeAllMultiSet(org.processmining.framework.util.collection.AbstractMultiSet<?,?> mset,
S removed) |
boolean |
removeOmegaPlace(Place removedItem)
Remove a place from the list of omega places
|
boolean |
retainAll(CTMarking c)
Keeps all elements of the given collection in this multiset.
|
java.lang.String |
toHTMLString(boolean includeHTMLTags) |
java.lang.String |
toString()
New toString, to represent elements of inifinite occurrence with "w"
|
CTMarking |
transformToOmega(java.util.Collection<Place> reference)
transform all places in this CTMarking into omega.
|
baseSet, comparator
add, add, addAll, clear, contains, containsAll, containsAtLeast, hashCode, isEmpty, iterator, occurrences, removeAll, retainAll, retainAll, size, toList
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
add, occurrences, toList
public CTMarking(CTMarking collection)
collection
- public CTMarking(java.util.Collection<Place> collection)
collection
- public CTMarking()
public boolean hasOmegaPlace()
public boolean retainAll(CTMarking c)
public boolean addOmegaPlace(Place p)
p
- place which should be presented with omegapublic boolean removeOmegaPlace(Place removedItem)
removedItem
- public java.util.Set<Place> getOmegaPlaces()
public boolean equals(java.lang.Object o)
org.processmining.framework.util.collection.AbstractMultiSet
public CTMarking transformToOmega(java.util.Collection<Place> reference)
reference
- public java.lang.String toString()
public java.lang.String toHTMLString(boolean includeHTMLTags)
public boolean isLessOrEqual(org.processmining.framework.util.collection.MultiSet<Place> multiSet)
isLessOrEqual
in interface org.processmining.framework.util.collection.MultiSet<Place>
isLessOrEqual
in class org.processmining.framework.util.collection.AbstractMultiSet<Place,java.util.TreeMap<Place,java.lang.Integer>>
multiSet
- the multiset to testpublic boolean remove(java.lang.Object o)
protected <S extends org.processmining.framework.util.collection.MultiSet<Place>> S removeAllMultiSet(org.processmining.framework.util.collection.AbstractMultiSet<?,?> mset, S removed)
public Marking minus(CTMarking m)
mset
- the multiset of elements needing to be removed.