projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6f9e00) | patch
Improve documentation for Statistics in C++ API (#8476)
authorGereon Kremer <gkremer@cs.stanford.edu>
Thu, 31 Mar 2022 17:30:33 +0000 (19:30 +0200)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 17:30:33 +0000 (17:30 +0000)
commit68e6be3929c444ac86b4de70f73761ebf1622bc0
treeb376e1e5282442a3225f0b65f6835b002044e996tree
parentb6f9e0016a3bbf3172196ce2ef13964b89f5fddfcommit | diff
Improve documentation for Statistics in C++ API (#8476)

This PR improves the documentation of the Statistics and the Stat class in the C++ API.
docs/api/cpp/statistics.rst diff | blob | history
src/api/cpp/cvc5.h diff | blob | history