diff options
Diffstat (limited to 'src/smt/env_obj.cpp')
-rw-r--r-- | src/smt/env_obj.cpp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/smt/env_obj.cpp b/src/smt/env_obj.cpp index fcbcc92d2..b9aebbe83 100644 --- a/src/smt/env_obj.cpp +++ b/src/smt/env_obj.cpp @@ -33,6 +33,21 @@ Node EnvObj::extendedRewrite(TNode node, bool aggr) const { return d_env.getRewriter()->extendedRewrite(node, aggr); } +Node EnvObj::evaluate(TNode n, + const std::vector<Node>& args, + const std::vector<Node>& vals, + bool useRewriter) const +{ + return d_env.evaluate(n, args, vals, useRewriter); +} +Node EnvObj::evaluate(TNode n, + const std::vector<Node>& args, + const std::vector<Node>& vals, + const std::unordered_map<Node, Node>& visited, + bool useRewriter) const +{ + return d_env.evaluate(n, args, vals, visited, useRewriter); +} const LogicInfo& EnvObj::logicInfo() const { return d_env.getLogicInfo(); } |