Remove unecessary friend of 'bdd' class

SSoelvsten · Jun 14, 2024 · 5ea9051 · 5ea9051
1 parent 1923c68
commit 5ea9051
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/src/adiar/bdd/apply.cpp b/src/adiar/bdd/apply.cpp
@@ -45,13 +45,13 @@ namespace adiar
     resolve_same_file(const bdd& bdd_1, const bdd& bdd_2) const
     {
       // Compute the results on all children.
-      const bool op_F = this->_op(bdd_1.negate, bdd_2.negate);
-      const bool op_T = this->_op(!bdd_1.negate, !bdd_2.negate);
+      const bool op_F = this->_op(bdd_1.is_negated(), bdd_2.is_negated());
+      const bool op_T = this->_op(!bdd_1.is_negated(), !bdd_2.is_negated());
 
       // Does it collapse to a terminal?
       if (op_F == op_T) { return bdd_terminal(op_F); }
 
-      return op_F == bdd_1.negate ? bdd_1 : ~bdd_1;
+      return op_F == bdd_1.is_negated() ? bdd_1 : ~bdd_1;
     }
 
     /// \brief Hook for either of the two BDDs being a terminal.

diff --git a/src/adiar/bdd/bdd.h b/src/adiar/bdd/bdd.h
@@ -56,10 +56,6 @@ namespace adiar
     // |- classes [public]
     friend __bdd;
 
-    // |- classes [internal]
-    template <typename BinaryOp>
-    friend class apply_prod2_policy;
-
     // |- functions
     friend bdd
     bdd_not(const bdd&);