Package | Description |
---|---|
org.yawlfoundation.yawl.analyser.elements |
Modifier and Type | Method and Description |
---|---|
RMarking |
ResetWFNet.convertToRMarking(YMarking M) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<RMarking> |
RSetOfMarkings.getMarkings() |
Modifier and Type | Method and Description |
---|---|
void |
RSetOfMarkings.addMarking(RMarking marking) |
boolean |
RSetOfMarkings.contains(RMarking m) |
boolean |
RSetOfMarkings.containsBiggerEqual(RMarking m) |
boolean |
RMarking.isBiggerThan(RMarking marking) |
boolean |
RMarking.isBiggerThanOrEqual(RMarking marking) |
boolean |
RMarking.isLessThanOrEqual(RMarking marking)
This is used for coverable check: x' <= x
|
void |
RSetOfMarkings.removeMarking(RMarking marking) |
Modifier and Type | Method and Description |
---|---|
boolean |
RSetOfMarkings.containsAll(java.util.Set<RMarking> markingsToCompare) |