Class RandomParameter

    • Field Detail

      • GLOBAL_RANDOM_STR

        private static final java.lang.String GLOBAL_RANDOM_STR
        See Also:
        Constant Field Values
      • seed

        java.lang.Long seed
        Seed value, if used
    • Constructor Detail

      • RandomParameter

        public RandomParameter​(OptionID optionID)
        Constructor without default.
        Parameters:
        optionID - Option ID
      • RandomParameter

        public RandomParameter​(OptionID optionID,
                               RandomFactory defaultValue)
        Constructor with default value. The default value may be null, which means a new random will be generated.
        Parameters:
        optionID - Option ID
        defaultValue - Default value. If null, a new random object will be created.