Cvc5Statistics

See Statistics for general information on statistics in cvc5.

Struct cvc5::Statistics represents a mapping from statistic names to statistic values, which are represented by struct Cvc5Stat. A Cvc5Stat may hold values of different types (bool, int64_t, uint64_t, double, const char* and histograms) and can be inspected by identifying the type via functions cvc5_stat_is_<type> and obtaining the actual value via functions cvc5_stat_get_<type>. Histograms are represented as a paar of arrays (const char** keys[] and uint64_t* values[]) where the key is the string representation of one enumeration value and the value is the frequency of this particular value.

A statistics iterator can be initialized via cvc5_stats_iter_init(), which allows to configure the visbility of internal and unchanged statistic entries. Iteration over statistics entries is then provided via functions cvc5_stats_iter_has_next() and cvc5_stats_iter_next().

typedef struct cvc5_stat_t *Cvc5Stat

A cvc5 statistic.

bool cvc5_stat_is_internal(Cvc5Stat stat)

Determine if a given statistic is intended for internal use only.

Parameters:

stat – The statistic.

Returns:

True if this is an internal statistic.

bool cvc5_stat_is_default(Cvc5Stat stat)

Determine if a given statistics statistic holds the default value.

Parameters:

stat – The statistic.

Returns:

True if this is a defaulted statistic.

bool cvc5_stat_is_int(Cvc5Stat stat)

Determine if a given statistic holds an integer value.

Parameters:

stat – The statistic.

Returns:

True if this value is an integer.

int64_t cvc5_stat_get_int(Cvc5Stat stat)

Get the value of an integer statistic.

Parameters:

stat – The statistic.

Returns:

The integer value.

bool cvc5_stat_is_double(Cvc5Stat stat)

Determine if a given statistic holds a double value.

Parameters:

stat – The statistic.

Returns:

True if this value is a double.

double cvc5_stat_get_double(Cvc5Stat stat)

Get the value of a double statistic.

Parameters:

stat – The statistic.

Returns:

The double value.

bool cvc5_stat_is_string(Cvc5Stat stat)

Determine if a given statistic holds a string value.

Parameters:

stat – The statistic.

Returns:

True if this value is a string.

const char *cvc5_stat_get_string(Cvc5Stat stat)

Get value of a string statistic.

Note

The returned char pointer is only valid until the next call to this function.

Parameters:

stat – The statistic.

Returns:

The string value.

bool cvc5_stat_is_histogram(Cvc5Stat stat)

Determine if a given statistic holds a histogram.

Parameters:

stat – The statistic.

Returns:

True if this value is a histogram.

void cvc5_stat_get_histogram(Cvc5Stat stat, const char **keys[], uint64_t *values[], size_t *size)

Get the value of a histogram statistic.

Parameters:

stat – The statistic.

Returns:

The histogram value.

const char *cvc5_stat_to_string(Cvc5Stat stat)

Get a string representation of a given statistic.

Note

The returned char* pointer is only valid until the next call to this function.

Parameters:

stat – The statistic.

Returns:

The string representation.

typedef struct cvc5_stats_t *Cvc5Statistics

A cvc5 statistics instance.