diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-11 21:13:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-11 19:13:34 +0000 |
commit | 2384a8d85517e00bc94e7fcf759a75dc6ea9b009 (patch) | |
tree | e4d8084d774b7ad334c0c2b91a7d985d876a990e /src/smt/env_obj.h | |
parent | b85e8a3d3f66ca844dc9b4790cd549a8dd0739a7 (diff) |
Use StatisticsRegistry from Env (#7166)
This commit better integrates the StatisticsRegistry with the environment. It makes the registry an `EnvObj` itself and adds a getter to `EnvObj` to get the registry. It also refactors parts of cvc5 to use this new mechanism to obtain the registry instead of using the (global, static) `smtStatisticsRegistry()` function.
Diffstat (limited to 'src/smt/env_obj.h')
-rw-r--r-- | src/smt/env_obj.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/smt/env_obj.h b/src/smt/env_obj.h index 4b907c27b..ef9a82b17 100644 --- a/src/smt/env_obj.h +++ b/src/smt/env_obj.h @@ -29,6 +29,7 @@ class Env; class LogicInfo; class NodeManager; class Options; +class StatisticsRegistry; namespace context { class Context; @@ -67,6 +68,9 @@ class EnvObj /** Get a pointer to the UserContext via Env. */ context::UserContext* userContext() const; + /** Get the statistics registry via Env. */ + StatisticsRegistry& statisticsRegistry() const; + /** The associated environment. */ Env& d_env; }; |