Class LPMCombinationParameters


  • public class LPMCombinationParameters
    extends java.lang.Object
    • Constructor Detail

      • LPMCombinationParameters

        public LPMCombinationParameters()
    • Method Detail

      • setMinNumPlaces

        public void setMinNumPlaces​(int minNumPlaces)
      • setMaxNumPlaces

        public void setMaxNumPlaces​(int maxNumPlaces)
      • getMinNumPlaces

        public int getMinNumPlaces()
      • getMaxNumPlaces

        public int getMaxNumPlaces()
      • setLpmProximity

        public void setLpmProximity​(int lpmProximity)
      • getLpmProximity

        public int getLpmProximity()
      • getMinNumTransitions

        public int getMinNumTransitions()
      • setMinNumTransitions

        public void setMinNumTransitions​(int minNumTransitions)
      • getMaxNumTransitions

        public int getMaxNumTransitions()
      • setMaxNumTransitions

        public void setMaxNumTransitions​(int maxNumTransitions)
      • getConcurrencyCardinality

        public int getConcurrencyCardinality()
      • setConcurrencyCardinality

        public void setConcurrencyCardinality​(int concurrencyCardinality)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object