diff options
Diffstat (limited to 'src/smt/env_obj.cpp')
-rw-r--r-- | src/smt/env_obj.cpp | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/smt/env_obj.cpp b/src/smt/env_obj.cpp index 04a5050db..acc3ab038 100644 --- a/src/smt/env_obj.cpp +++ b/src/smt/env_obj.cpp @@ -26,6 +26,15 @@ EnvObj::EnvObj(Env& env) : d_env(env) {} Node EnvObj::rewrite(TNode node) { return d_env.getRewriter()->rewrite(node); } -const LogicInfo& EnvObj::getLogicInfo() const { return d_env.getLogicInfo(); } +const LogicInfo& EnvObj::logicInfo() const { return d_env.getLogicInfo(); } + +const Options& EnvObj::options() const { return d_env.getOptions(); } + +context::Context* EnvObj::context() const { return d_env.getContext(); } + +context::UserContext* EnvObj::userContext() const +{ + return d_env.getUserContext(); +} } // namespace cvc5 |