public class RSetOfMarkings
extends java.lang.Object
Constructor and Description |
---|
RSetOfMarkings() |
Modifier and Type | Method and Description |
---|---|
void |
addAll(RSetOfMarkings newmarkings) |
void |
addMarking(RMarking marking) |
boolean |
contains(RMarking m) |
boolean |
containsAll(java.util.Set<RMarking> markingsToCompare) |
boolean |
containsBiggerEqual(RMarking m) |
boolean |
equals(RSetOfMarkings markings) |
java.util.Set<RMarking> |
getMarkings() |
void |
removeAll() |
void |
removeMarking(RMarking marking) |
int |
size() |
public void addMarking(RMarking marking)
public java.util.Set<RMarking> getMarkings()
public int size()
public void removeAll()
public void removeMarking(RMarking marking)
public void addAll(RSetOfMarkings newmarkings)
public boolean equals(RSetOfMarkings markings)
public boolean contains(RMarking m)
public boolean containsAll(java.util.Set<RMarking> markingsToCompare)
public boolean containsBiggerEqual(RMarking m)