Class PNMLRoot


  • public class PNMLRoot
    extends java.lang.Object
    • Constructor Detail

      • PNMLRoot

        public PNMLRoot()
    • 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)
      • setFinalMarkings

        public void setFinalMarkings​(PNMLFinalMarkings finalMarkings)