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.

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

Public Members

const char *cur

Current mode option value.

const char *dflt

Default mode option value.

size_t num_modes

Number of available modes.

const char **modes

List of available modes.

struct NumericValue

Public Members

uint64_t cur

Current numeric option value.

uint64_t dflt

Default numeric option value.

uint64_t min

Minimum numeric option value.

uint64_t max

Maximum numeric option value.