diff options
Diffstat (limited to 'src/expr/node_builder.h')
-rw-r--r-- | src/expr/node_builder.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h index 5f813dbe8..bd3827f47 100644 --- a/src/expr/node_builder.h +++ b/src/expr/node_builder.h @@ -713,6 +713,10 @@ public: operator Node(); operator Node() const; + // similarly for TypeNode + operator TypeNode(); + operator TypeNode() const; + NodeBuilder<nchild_thresh>& operator&=(TNode); NodeBuilder<nchild_thresh>& operator|=(TNode); NodeBuilder<nchild_thresh>& operator+=(TNode); @@ -902,6 +906,16 @@ NodeBuilder<nchild_thresh>::operator Node() const { } template <unsigned nchild_thresh> +NodeBuilder<nchild_thresh>::operator TypeNode() { + return constructTypeNode(); +} + +template <unsigned nchild_thresh> +NodeBuilder<nchild_thresh>::operator TypeNode() const { + return constructTypeNode(); +} + +template <unsigned nchild_thresh> expr::NodeValue* NodeBuilder<nchild_thresh>::constructNV() { Assert(!isUsed(), "NodeBuilder is one-shot only; " "attempt to access it after conversion"); |