class cvc5. Statistics

The cvc5 Statistics.

Wrapper class for cvc5::Statistics . Obtain a single statistic value using stats["name"] and a dictionary with all (visible) statistics using stats.get(internal=False, defaulted=False) .

__getitem__ ( )

Get the statistics information for the statistic called name .

get ( self , bool internal=False , bool defaulted=False )

Get all statistics as a dictionary. See cvc5::Statistics::begin() for more information on which statistics are included based on the parameters.

Returns :

A dictionary with all available statistics.