Format 'binary_op' and its tests

SSoelvsten · Mar 12, 2024 · cd3e039 · cd3e039
1 parent 5ac21d0
commit cd3e039
Show file tree

Hide file tree

Showing 2 changed files with 221 additions and 332 deletions.
diff --git a/src/adiar/bdd/apply.cpp b/src/adiar/bdd/apply.cpp
@@ -88,12 +88,8 @@ namespace adiar
     internal::tuple<bdd::pointer_type>
     __resolve_request(const internal::tuple<bdd::pointer_type>& r) const
     {
-      if (this->_op.can_left_shortcut(r[0])) {
-        return { r[0], bdd::pointer_type(true) };
-      }
-      if (this->_op.can_right_shortcut(r[1])) {
-        return { bdd::pointer_type(true), r[1] };
-      }
+      if (this->_op.can_left_shortcut(r[0])) { return { r[0], bdd::pointer_type(true) }; }
+      if (this->_op.can_right_shortcut(r[1])) { return { bdd::pointer_type(true), r[1] }; }
       return r;
     }