diff options
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> |