diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-09-12 14:44:49 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-09-12 14:44:49 -0400 |
commit | 470c20cd7d12f8de3e9d4e7c38d2ebba1296b098 (patch) | |
tree | eba01503e16a20ac5eb1f4e44e7f87aa4b16acbd /src/expr/expr_template.h | |
parent | 28ec8ce392a815c47689ecd86b5b91f9a58104e5 (diff) |
fix bug 534: portfolio define-fun duplicate model
Diffstat (limited to 'src/expr/expr_template.h')
-rw-r--r-- | src/expr/expr_template.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index 7772de81e..e262fada8 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -81,7 +81,7 @@ namespace expr { class CVC4_PUBLIC ExprDag; class CVC4_PUBLIC ExprSetLanguage; - NodeTemplate<true> exportInternal(NodeTemplate<false> n, ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap); + NodeTemplate<true> exportInternal(NodeTemplate<false> n, ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap, uint32_t flags); }/* CVC4::expr namespace */ /** @@ -510,7 +510,7 @@ public: * variableMap for the translation and extending it with any new * mappings. */ - Expr exportTo(ExprManager* exprManager, ExprManagerMapCollection& variableMap) const; + Expr exportTo(ExprManager* exprManager, ExprManagerMapCollection& variableMap, uint32_t flags = 0) const; /** * IOStream manipulator to set the maximum depth of Exprs when @@ -591,7 +591,7 @@ private: friend class TypeCheckingException; friend class expr::pickle::Pickler; friend class prop::TheoryProxy; - friend NodeTemplate<true> expr::exportInternal(NodeTemplate<false> n, ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap); + friend NodeTemplate<true> expr::exportInternal(NodeTemplate<false> n, ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap, uint32_t flags); friend std::ostream& CVC4::operator<<(std::ostream& out, const Expr& e); template <bool ref_count> friend class NodeTemplate; |