Class TsmlName

    • Constructor Detail

      • TsmlName

        public TsmlName()
        Creates a fresh PNML name.
      • TsmlName

        public TsmlName​(java.lang.String text)
    • Method Detail

      • getName

        public java.lang.String getName​(java.lang.String defaultName)
      • marshall

        public TsmlName marshall​(org.processmining.models.graphbased.AbstractGraphElement element)
        Overrides:
        marshall in class TsmlAnnotation