OptionInfo

java.lang.Object
- io.github.cvc5.OptionInfo

```
public class OptionInfo
extends java.lang.Object
```
Holds some description about a particular option, including its name, its aliases, whether the option was explicitly set by the user, and information concerning its value. The valueInfo member holds any of the following alternatives:
- OptionInfo.VoidInfo if the option holds no value (or the value has no native type)
- OptionInfo.ValueInfo if the option is of type boolean or String, holds the current value and the default value.
- OptionInfo.NumberInfo if the option is of type BigInteger or double, holds the current and default value, as well as the minimum and maximum.
- OptionInfo.ModeInfo if the option is a mode option, holds the current and default values, as well as a list of valid modes.
Additionally, this class provides convenience functions to obtain the current value of an option in a type-safe manner using booleanValue(), stringValue(), intValue(), and doubleValue(). They assert that the option has the respective type and return the current value.

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`class`	`OptionInfo.BaseInfo`	Abstract class for OptionInfo values
`class`	`OptionInfo.ModeInfo`
`class`	`OptionInfo.NumberInfo<T>`	Default value, current value, minimum and maximum of a numeric value
`class`	`OptionInfo.ValueInfo<T>`	Has the current and the default value
`class`	`OptionInfo.VoidInfo`	Has no value information

Field Summary

Fields
Modifier and Type Field Description

protected long pointer

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`booleanValue()`	Obtain the current value as a Boolean.
`void`	`deletePointer()`
`protected void`	`deletePointer(long pointer)`
`double`	`doubleValue()`	Obtain the current value as a double.
`java.lang.String[]`	`getAliases()`
`OptionInfo.BaseInfo`	`getBaseInfo()`
`java.lang.String`	`getName()`
`long`	`getPointer()`
`boolean`	`getSetByUser()`
`java.math.BigInteger`	`intValue()`	Obtain the current value as as int.
`java.lang.String`	`stringValue()`	Obtain the current value as a string.
`java.lang.String`	`toString()`
`protected java.lang.String`	`toString(long pointer)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - pointer
```
protected long pointer
```
- Method Detail
  - deletePointer
```
protected void deletePointer(long pointer)
```
  - toString
```
public java.lang.String toString()
```
  - toString
```
protected java.lang.String toString(long pointer)
```
    Returns:
    
    A string representation of this OptionInfo.
  - getName
```
public java.lang.String getName()
```
  - getAliases
```
public java.lang.String[] getAliases()
```
  - getSetByUser
```
public boolean getSetByUser()
```
  - getBaseInfo
```
public OptionInfo.BaseInfo getBaseInfo()
```
  - booleanValue
```
public boolean booleanValue()
```
    Obtain the current value as a Boolean. Asserts that valueInfo holds a Boolean.
    
    Returns:
    
    The Boolean value.
  - stringValue
```
public java.lang.String stringValue()
```
    Obtain the current value as a string. Asserts that valueInfo holds a string.
    
    Returns:
    
    The string value.
  - intValue
```
public java.math.BigInteger intValue()
```
    Obtain the current value as as int. Asserts that valueInfo holds an int.
    
    Returns:
    
    The integer value.
  - doubleValue
```
public double doubleValue()
```
    Obtain the current value as a double. Asserts that valueInfo holds a double.
    
    Returns:
    
    The double value.
  - getPointer
```
public long getPointer()
```
  - deletePointer
```
public void deletePointer()
```