Package | Description |
---|---|
org.processmining.plugins.pnml.simple |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<PNMLMarking> |
PNMLModule.finalmarkings |
Modifier and Type | Method and Description |
---|---|
java.util.List<PNMLMarking> |
PNMLModule.getFinalmarkings() |
java.util.List<PNMLMarking> |
PNMLFinalMarkings.getMarkings() |
Modifier and Type | Method and Description |
---|---|
void |
PNMLModule.setFinalmarkings(java.util.List<PNMLMarking> finalmarkings) |
void |
PNMLFinalMarkings.setMarkings(java.util.List<PNMLMarking> markings) |