diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-02-20 17:59:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-02-20 17:59:33 +0000 |
commit | 3d2b33d66998261f9369cccc098140f64bc8b417 (patch) | |
tree | 9176ad2684415f8fb95f75a5655e8b17dcdf9793 /src/expr/node.h | |
parent | 92155f5e40ed2cf452dc5e2f618e7be6542293e8 (diff) |
portfolio merge
Diffstat (limited to 'src/expr/node.h')
-rw-r--r-- | src/expr/node.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index 57b02b05b..37499c3bf 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -49,6 +49,12 @@ namespace CVC4 { class TypeNode; class NodeManager; +namespace expr { + namespace pickle { + class PicklerPrivate; + }/* CVC4::expr::pickle namespace */ +}/* CVC4::expr namespace */ + template <bool ref_count> class NodeTemplate; @@ -177,6 +183,9 @@ class NodeTemplate { */ friend class expr::NodeValue; + friend class expr::pickle::PicklerPrivate; + friend Node expr::exportInternal(TNode n, ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap); + /** A convenient null-valued encapsulated pointer */ static NodeTemplate s_null; @@ -200,6 +209,7 @@ class NodeTemplate { friend class NodeTemplate<true>; friend class NodeTemplate<false>; + friend class TypeNode; friend class NodeManager; template <unsigned nchild_thresh> |