public class PNMLRoot
extends java.lang.Object
Constructor and Description |
---|
PNMLRoot() |
Modifier and Type | Method and Description |
---|---|
PNMLFinalMarkings |
getFinalMarkings() |
java.util.List<PNMLModule> |
getModule() |
java.util.List<PNMLNet> |
getNet() |
void |
setFinalMarkings(PNMLFinalMarkings finalMarkings) |
void |
setModule(java.util.List<PNMLModule> module) |
void |
setNet(java.util.List<PNMLNet> net) |
public java.util.List<PNMLNet> getNet()
public java.util.List<PNMLModule> getModule()
public void setModule(java.util.List<PNMLModule> module)
public void setNet(java.util.List<PNMLNet> net)
public PNMLFinalMarkings getFinalMarkings()
public void setFinalMarkings(PNMLFinalMarkings finalMarkings)