diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-12 16:18:04 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-12 16:18:04 +0000 |
commit | 2a92b09014430bedb9360d186e1d88144e07cf11 (patch) | |
tree | 39337a20c03f5f7a71f8aaf9fac2b37b4ff4eef1 /src/expr/node.h | |
parent | 7f4e310c1ba02795bae56702e26cf8460f7e212b (diff) |
minor cleanup, and replace a "private:" in equality engine that had been removed by the quantifiers merge (I had reengineered some things from quantifiers so that the equality engine didn't have to expose internals as public, but then had neglected to re-privatize them)
Diffstat (limited to 'src/expr/node.h')
-rw-r--r-- | src/expr/node.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index e56774d7e..0b150d25d 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -230,7 +230,9 @@ class NodeTemplate { Assert( d_nv->d_rc > 0, "TNode pointing to an expired NodeValue" ); } } + public: + /** * Cache-aware, recursive version of substitute() used by the public * member function with a similar signature. @@ -255,8 +257,6 @@ public: Node substitute(Iterator substitutionsBegin, Iterator substitutionsEnd, std::hash_map<TNode, TNode, TNodeHashFunction>& cache) const; -public: - /** Default constructor, makes a null expression. */ NodeTemplate() : d_nv(&expr::NodeValue::s_null) { } |