Class PnmlMarkedPlace

    • Constructor Detail

      • PnmlMarkedPlace

        protected PnmlMarkedPlace()
    • Method Detail

      • importAttributes

        protected void importAttributes​(org.xmlpull.v1.XmlPullParser xpp,
                                        Pnml pnml)
        Description copied from class: PnmlElement
        Imports all standard attributes: None. If some subclass has attributes, this method needs to be overruled by it.
        Overrides:
        importAttributes in class PnmlElement
      • exportAttributes

        protected java.lang.String exportAttributes​(Pnml pnml)
        Description copied from class: PnmlElement
        Exports all standard attributes: None. If some subclass has attributes, this method needs to be overruled by it.
        Overrides:
        exportAttributes in class PnmlElement
        Returns:
      • importElements

        protected boolean importElements​(org.xmlpull.v1.XmlPullParser xpp,
                                         Pnml pnml)
        Description copied from class: PnmlElement
        Imports all standard child elements: None. If some subclass has child elements, this method needs to be overruled by it.
        Overrides:
        importElements in class PnmlElement
        Returns:
      • exportElements

        protected java.lang.String exportElements​(Pnml pnml)
        Description copied from class: PnmlElement
        Exports all standard elements: None. If some subclass has child elements, this method needs to be overruled by it.
        Overrides:
        exportElements in class PnmlElement
        Returns:
      • convertToOpenNet

        public void convertToOpenNet​(Marking marking,
                                     java.util.Map<java.lang.String,​Place> placeMap)
      • convertFromOpenNet

        public PnmlMarkedPlace convertFromOpenNet​(java.lang.String id,
                                                  int nofTokens)