diff options
Diffstat (limited to 'src/expr/node.h')
-rw-r--r-- | src/expr/node.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index c9bfb75a4..6dbb5aa2b 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -893,8 +893,6 @@ public: NodeTemplate<true> iteNode(const NodeTemplate<ref_count2>& thenpart, const NodeTemplate<ref_count3>& elsepart) const; template <bool ref_count2> - NodeTemplate<true> iffNode(const NodeTemplate<ref_count2>& right) const; - template <bool ref_count2> NodeTemplate<true> impNode(const NodeTemplate<ref_count2>& right) const; template <bool ref_count2> NodeTemplate<true> xorNode(const NodeTemplate<ref_count2>& right) const; @@ -1203,14 +1201,6 @@ NodeTemplate<ref_count>::iteNode(const NodeTemplate<ref_count2>& thenpart, template <bool ref_count> template <bool ref_count2> NodeTemplate<true> -NodeTemplate<ref_count>::iffNode(const NodeTemplate<ref_count2>& right) const { - assertTNodeNotExpired(); - return NodeManager::currentNM()->mkNode(kind::IFF, *this, right); -} - -template <bool ref_count> -template <bool ref_count2> -NodeTemplate<true> NodeTemplate<ref_count>::impNode(const NodeTemplate<ref_count2>& right) const { assertTNodeNotExpired(); return NodeManager::currentNM()->mkNode(kind::IMPLIES, *this, right); |