Statistics 

See Statistics for general information on statistics in cvc5.

Class cvc5.Statistics represents a mapping from statistic names to statistic values

By default, iterating over a Statistics object shows all statistics, including internal and unchanged ones. The inclusion of internal and defaulted statistics can be configured via Boolean parameters internal and defaulted of function cvc5.Statistics.get() .

class cvc5. Statistics 

The cvc5 Statistics.

Wrapper class for cvc5::Statistics .

Obtain a single statistic value using stats["name"] and a dictionary with, configurably all (including internal and unchanged) statistics using Statistics.get() .

Iterate over all (including internal and unchanged) statistics via (the standard iterable functions) __iter__() and __next__() .

__getitem__ ( ) 

Get the statistics information for the statistic called name .

Parameters :

name – The name of the statistic to get.

__iter__ ( ) 

Iterate over all statistics (including internal and unchanged statistics).

__next__ ( ) 

Get next statistic as a pair [name, <dict: name -> value>] .

get ( ) 

Get all statistics as a dictionary.

Parameters :

• internal – True to also inclue internal statistics.

• defaulted – True to also include unchanged statistics.

Returns :

A dictionary with all available statistics.