Class PNMLToolSpecific


  • public class PNMLToolSpecific
    extends java.lang.Object
    • Field Detail

      • STOCHASTIC_ANNOTATION

        public static final java.lang.String STOCHASTIC_ANNOTATION
        See Also:
        Constant Field Values
      • STOCHASTIC_ANNOTATION_VERSION

        public static final java.lang.String STOCHASTIC_ANNOTATION_VERSION
        See Also:
        Constant Field Values
      • EXECUTION_POLICY

        public static final java.lang.String EXECUTION_POLICY
        See Also:
        Constant Field Values
      • DISTRIBUTION_TYPE

        public static final java.lang.String DISTRIBUTION_TYPE
        See Also:
        Constant Field Values
      • DISTRIBUTION_PARAMETERS

        public static final java.lang.String DISTRIBUTION_PARAMETERS
        See Also:
        Constant Field Values
      • VALUES_SEPARATOR

        public static final java.lang.String VALUES_SEPARATOR
        See Also:
        Constant Field Values
      • tool

        protected java.lang.String tool
      • version

        protected java.lang.String version
      • activity

        protected java.lang.String activity
    • Constructor Detail

      • PNMLToolSpecific

        public PNMLToolSpecific()
    • Method Detail

      • getTool

        public java.lang.String getTool()
      • setTool

        public void setTool​(java.lang.String tool)
      • getVersion

        public java.lang.String getVersion()
      • setVersion

        public void setVersion​(java.lang.String version)
      • getActivity

        public java.lang.String getActivity()
      • setActivity

        public void setActivity​(java.lang.String activity)
      • getProperties

        public java.util.Map<java.lang.String,​java.lang.String> getProperties()
      • setProperties

        public void setProperties​(java.util.Map<java.lang.String,​java.lang.String> properties)