1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Statistics
==========
See :doc:`/statistics` for general information on statistics in cvc5.
Class :py:obj:`cvc5.Statistics` represents a mapping from statistic names
to statistic values
By default, iterating over a :py:obj:`Statistics <cvc5.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
:py:func:`cvc5.Statistics.get()`.
----
.. autoclass:: cvc5.Statistics
:members:
:special-members: __getitem__, __iter__, __next__
:undoc-members:
|
