diff options
Diffstat (limited to 'src/expr/node_value.h')
-rw-r--r-- | src/expr/node_value.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h index e8435df26..0ad7ba559 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -33,6 +33,10 @@ namespace CVC4 { template <bool ref_count> class NodeTemplate; template <unsigned> class NodeBuilder; +class AndNodeBuilder; +class OrNodeBuilder; +class PlusNodeBuilder; +class MultNodeBuilder; class NodeManager; namespace expr { @@ -76,6 +80,10 @@ class NodeValue { template <bool> friend class CVC4::NodeTemplate; template <unsigned> friend class CVC4::NodeBuilder; + friend class CVC4::AndNodeBuilder; + friend class CVC4::OrNodeBuilder; + friend class CVC4::PlusNodeBuilder; + friend class CVC4::MultNodeBuilder; friend class CVC4::NodeManager; void inc(); |