public class PNMLModule
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.List<PNMLMarking> |
finalmarkings |
protected java.util.List<PNMLNet> |
nets |
Constructor and Description |
---|
PNMLModule() |
Modifier and Type | Method and Description |
---|---|
java.util.List<PNMLMarking> |
getFinalmarkings() |
java.util.List<PNMLNet> |
getNets() |
void |
setFinalmarkings(java.util.List<PNMLMarking> finalmarkings) |
void |
setNets(java.util.List<PNMLNet> nets) |
protected java.util.List<PNMLNet> nets
protected java.util.List<PNMLMarking> finalmarkings
public java.util.List<PNMLMarking> getFinalmarkings()
public void setFinalmarkings(java.util.List<PNMLMarking> finalmarkings)
public java.util.List<PNMLNet> getNets()
public void setNets(java.util.List<PNMLNet> nets)