BitwuzlaOptionInfo
The configuration data of an option.
Bitwuzla offers a compact way to retrieve all information about a configuration
option BitwuzlaOption
as a BitwuzlaOptionInfo
object.
This object is created per option via bitwuzla_get_option_info()
and can be queried for
long and short names
option description
default value
minimum/maximum/default values (for numeric options)
available option modes (for options with modes).
-
struct BitwuzlaOptionInfo
The option info struct holds all information about an option, which can be queried via
bitwuzla_get_option_info
.See also
Public Members
-
BitwuzlaOption opt
The Bitwuzla option.
-
const char *shrt
Short option name.
-
const char *lng
Long option name.
-
const char *description
Option description.
-
bool is_numeric
Indicates whether values are numeric or strings.
-
struct ModeValue
-
struct NumericValue
-
BitwuzlaOption opt