diff options
Diffstat (limited to 'src/smt/env_obj.cpp')
| -rw-r--r-- | src/smt/env_obj.cpp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/smt/env_obj.cpp b/src/smt/env_obj.cpp index 926bf61ff..8af3bdfd0 100644 --- a/src/smt/env_obj.cpp +++ b/src/smt/env_obj.cpp @@ -70,4 +70,20 @@ StatisticsRegistry& EnvObj::statisticsRegistry() const return d_env.getStatisticsRegistry(); } +bool EnvObj::isOutputOn(OutputTag tag) const { return d_env.isOutputOn(tag); } + +std::ostream& EnvObj::output(OutputTag tag) const { return d_env.output(tag); } + +bool EnvObj::isVerboseOn(int64_t level) const +{ + return d_env.isVerboseOn(level); +} + +std::ostream& EnvObj::verbose(int64_t level) const +{ + return d_env.verbose(level); +} + +std::ostream& EnvObj::warning() const { return verbose(0); } + } // namespace cvc5 |