projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef2f19f) | patch
Add utility classes for new statistics (#6178)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 1 Apr 2021 22:40:19 +0000 (00:40 +0200)
committerGitHub <noreply@github.com>
Thu, 1 Apr 2021 22:40:19 +0000 (22:40 +0000)
commit2d46c5c3921e027fb67fee66c3c9e62ead61438c
tree35bab7a48f8162b91d58c2465f303ab1cd3912a0tree
parentef2f19f8ba2a72d43586d1f4f364822dbe389aeccommit | diff
Add utility classes for new statistics (#6178)

This PR introduces two new sets of classes used for the new statistics setup.
The first set are the statistic values that hold the actual data and will live in the new statistics registry itself.
The second set are proxy objects: they only hold a pointer to the value classes and implement all the modifiers.

The code is not used yet, but replaces the code in the stats_* files in a subsequent PR.
src/base/configuration.cpp diff | blob | history
src/base/configuration.h diff | blob | history
src/base/configuration_private.h diff | blob | history
src/util/CMakeLists.txt diff | blob | history
src/util/statistics_stats.cpp [new file with mode: 0644] blob
src/util/statistics_stats.h [new file with mode: 0644] blob
src/util/statistics_value.cpp [new file with mode: 0644] blob
src/util/statistics_value.h [new file with mode: 0644] blob