|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Marking | |
---|---|
org.processmining.framework.models.petrinet |
Uses of Marking in org.processmining.framework.models.petrinet |
---|
Methods in org.processmining.framework.models.petrinet that return Marking | |
---|---|
Marking |
State.getMarking()
|
Methods in org.processmining.framework.models.petrinet with parameters of type Marking | |
---|---|
void |
Marking.add(Marking marking)
Add a given marking |
boolean |
Marking.isLessOrEqual(Marking marking)
Checks whether this marking is smaller than a given marking. |
void |
Marking.sub(Marking marking)
Subtract a given marking |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |