Package org.processmining.plugins.pnml.simple

Class PNMLPlaceRef

  • public class PNMLPlaceRef
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      PNMLPlaceRef()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getIdRef()  
      int getTokens()  
      void setIdRef​(java.lang.String idRef)  
      void setTokens​(int tokens)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • PNMLPlaceRef

        public PNMLPlaceRef()

    • Method Detail

      • getIdRef

        public java.lang.String getIdRef()

      • setIdRef

        public void setIdRef​(java.lang.String idRef)

      • getTokens

        public int getTokens()

      • setTokens

        public void setTokens​(int tokens)