Class ParameterSetup


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

      • ParameterSetup

        public ParameterSetup()
    • Method Detail

      • serialize

        public java.lang.String serialize()
      • getInstance

        public static ParameterSetup getInstance​(java.lang.String json)
      • getInstanceFromFile

        public static ParameterSetup getInstanceFromFile​(java.lang.String filePath)
      • setPlaceLimit

        public void setPlaceLimit​(java.util.List<java.lang.Integer> placeLimit)
      • setProximity

        public void setProximity​(java.util.List<java.lang.Integer> proximity)
      • setTimeLimit

        public void setTimeLimit​(java.lang.Long timeLimit)
      • setMinPlaces

        public void setMinPlaces​(int minPlaces)
      • setMaxPlaces

        public void setMaxPlaces​(int maxPlaces)
      • setMinTransitions

        public void setMinTransitions​(int minTransitions)
      • setMaxTransitions

        public void setMaxTransitions​(int maxTransitions)
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • getPlaceLimit

        public java.util.List<java.lang.Integer> getPlaceLimit()
      • getProximity

        public java.util.List<java.lang.Integer> getProximity()
      • getCardinality

        public java.util.List<java.lang.Integer> getCardinality()
      • getTimeLimit

        public java.lang.Long getTimeLimit()
      • getMinPlaces

        public int getMinPlaces()
      • getMaxPlaces

        public int getMaxPlaces()
      • getMinTransitions

        public int getMinTransitions()
      • getMaxTransitions

        public int getMaxTransitions()