Package io.github.cvc5

Class OptionInfo.ValueInfo<T>

java.lang.Object
io.github.cvc5.OptionInfo.BaseInfo
io.github.cvc5.OptionInfo.ValueInfo<T>
Type Parameters:
T - the type of the value
Direct Known Subclasses:
OptionInfo.ModeInfo, OptionInfo.NumberInfo
Enclosing class:
OptionInfo
public class OptionInfo.ValueInfo<T> extends OptionInfo.BaseInfo
Has the current and the default value

  • Constructor Details

    • ValueInfo

      public ValueInfo(T defaultValue, T currentValue)
      Construct a new ValueInfo instance with the given default and current values.
      Parameters:
      defaultValue - The default value.
      currentValue - The current value.

  • Method Details

    • getDefaultValue

      public T getDefaultValue()
      Get the default value.
      Returns:
      The default value.

    • getCurrentValue

      public T getCurrentValue()
      Get the current value.
      Returns:
      The current value.