Class PNMLRoot
- java.lang.Object
-
- org.processmining.plugins.pnml.simple.PNMLRoot
-
public class PNMLRoot extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description PNMLRoot()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PNMLFinalMarkingsgetFinalMarkings()java.util.List<PNMLModule>getModule()java.util.List<PNMLNet>getNet()voidsetFinalMarkings(PNMLFinalMarkings finalMarkings)voidsetModule(java.util.List<PNMLModule> module)voidsetNet(java.util.List<PNMLNet> net)
-
-
-
Method Detail
-
getNet
public java.util.List<PNMLNet> getNet()
-
getModule
public java.util.List<PNMLModule> getModule()
-
setModule
public void setModule(java.util.List<PNMLModule> module)
-
setNet
public void setNet(java.util.List<PNMLNet> net)
-
getFinalMarkings
public PNMLFinalMarkings getFinalMarkings()
-
setFinalMarkings
public void setFinalMarkings(PNMLFinalMarkings finalMarkings)
-
-