io.github.cvc5

Class OptionInfo.ValueInfo<T>

java.lang.Object

io.github.cvc5.OptionInfo.BaseInfo

io.github.cvc5.OptionInfo.ValueInfo<T>

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 Summary

Constructors

Constructor and Description
ValueInfo(T defaultValue, T currentValue)

Method Summary

Modifier and Type	Method and Description
T	getCurrentValue()
T	getDefaultValue()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ValueInfo

public ValueInfo(T defaultValue,
                 T currentValue)

Method Detail

getDefaultValue

public T getDefaultValue()

getCurrentValue

public T getCurrentValue()