public class PNMLFinalMarkings
extends java.lang.Object
Constructor and Description |
---|
PNMLFinalMarkings() |
Modifier and Type | Method and Description |
---|---|
java.util.List<PNMLMarking> |
getMarkings() |
void |
setMarkings(java.util.List<PNMLMarking> markings) |
public java.util.List<PNMLMarking> getMarkings()
public void setMarkings(java.util.List<PNMLMarking> markings)