diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-07-22 20:02:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-22 20:02:44 -0700 |
| commit | 7785045ede376f7ee5a540ded9afdd7d3f57c47d (patch) | |
| tree | 7e3a900e96330a07b65bc2ce71409dbb4289ee85 /src/expr/node_builder.h | |
| parent | 4cab39bd4f166716cd3d357a175c346afb838137 (diff) | |
Deprecating the unused convenience_node_builders.h (#203)
Diffstat (limited to 'src/expr/node_builder.h')
| -rw-r--r-- | src/expr/node_builder.h | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h index 57cfa0221..2d45d0367 100644 --- a/src/expr/node_builder.h +++ b/src/expr/node_builder.h @@ -179,12 +179,6 @@ namespace CVC4 { namespace CVC4 { -/* see expr/convenience_node_builders.h */ -class AndNodeBuilder; -class OrNodeBuilder; -class PlusNodeBuilder; -class MultNodeBuilder; - // Sometimes it's useful for debugging to output a NodeBuilder that // isn't yet a Node.. template <unsigned nchild_thresh> @@ -728,11 +722,6 @@ public: NodeBuilder<nchild_thresh>& operator-=(TNode); NodeBuilder<nchild_thresh>& operator*=(TNode); - friend class AndNodeBuilder; - friend class OrNodeBuilder; - friend class PlusNodeBuilder; - friend class MultNodeBuilder; - // This is needed for copy constructors of different sizes to access // private fields template <unsigned N> |