Class GeneratorConfig


  • public class GeneratorConfig
    extends java.lang.Object
    Configuration settings for the stochastic Petri net generator Generator.
    Author:
    Andreas Rogge-Solti
    • Field Detail

      • DEFAULT_TRANSITION_SIZE

        public static int DEFAULT_TRANSITION_SIZE
    • Constructor Detail

      • GeneratorConfig

        public GeneratorConfig()
    • Method Detail

      • getTransitionSize

        public int getTransitionSize()
      • setTransitionSize

        public void setTransitionSize​(int nodeSize)
      • isContainsLoops

        public boolean isContainsLoops()
      • setContainsLoops

        public void setContainsLoops​(boolean containsLoops)
      • getDegreeOfParallelism

        public int getDegreeOfParallelism()
      • setDegreeOfParallelism

        public void setDegreeOfParallelism​(int degreeOfParallelism)
      • getDegreeOfSequences

        public int getDegreeOfSequences()
      • setDegreeOfSequences

        public void setDegreeOfSequences​(int degreeOfSequences)
      • getDegreeOfExclusiveChoices

        public int getDegreeOfExclusiveChoices()
      • setDegreeOfExclusiveChoices

        public void setDegreeOfExclusiveChoices​(int degreeOfExclusiveChoices)
      • getDegreeOfLoops

        public int getDegreeOfLoops()
      • setDegreeOfLoops

        public void setDegreeOfLoops​(int degreeOfLoops)
      • getName

        public java.lang.String getName()
      • setName

        public void setName​(java.lang.String name)
      • isImmedateTransitionsInvisible

        public boolean isImmedateTransitionsInvisible()
      • setImmedateTransitionsInvisible

        public void setImmedateTransitionsInvisible​(boolean immedateTransitionsInvisible)
      • isCreateDedicatedImmediateStartTransition

        public boolean isCreateDedicatedImmediateStartTransition()
      • setCreateDedicatedImmediateStartTransition

        public void setCreateDedicatedImmediateStartTransition​(boolean createDedicatedImmediateStartTransition)
      • isParallelismOnlyInParts

        public boolean isParallelismOnlyInParts()
      • setParallelismOnlyInParts

        public void setParallelismOnlyInParts​(boolean parallelismOnlyInParts)