Package io.github.cvc5

Class OptionInfo.NumberInfo<T>

java.lang.Object
io.github.cvc5.OptionInfo.BaseInfo
io.github.cvc5.OptionInfo.ValueInfo<T>
io.github.cvc5.OptionInfo.NumberInfo<T>
Type Parameters:
T - the type of the numeric value
Enclosing class:
OptionInfo
public class OptionInfo.NumberInfo<T> extends OptionInfo.ValueInfo<T>
Default value, current value, minimum and maximum of a numeric value

  • Constructor Details

    • NumberInfo

      public NumberInfo(T defaultValue, T currentValue, T minimum, T maximum)
      Construct a NumberInfo instance with specified default value, current value, minimum, and maximum.
      Parameters:
      defaultValue - The default value.
      currentValue - The current value.
      minimum - The minimum value.
      maximum - The maximum value.

  • Method Details

    • getMinimum

      public T getMinimum()
      Get the minimum value.
      Returns:
      The minimum value.

    • getMaximum

      public T getMaximum()
      Get the maximum value.
      Returns:
      The maximum value.