Format latest changes

SSoelvsten · Oct 23, 2024 · 4944934 · 4944934
1 parent 84240f5
commit 4944934
Show file tree

Hide file tree

Showing 7 changed files with 98 additions and 106 deletions.
diff --git a/src/adiar/bdd.h b/src/adiar/bdd.h
@@ -2077,7 +2077,8 @@ namespace adiar
   /// \returns The output iterator at its final state.
   //////////////////////////////////////////////////////////////////////////////////////////////////
   template <typename OutputIt,
-            typename = enable_if<!is_convertible<OutputIt, consumer<pair<bdd::label_type, bool>>> && !is_convertible<OutputIt, bdd>>>
+            typename = enable_if<!is_convertible<OutputIt, consumer<pair<bdd::label_type, bool>>>
+                                 && !is_convertible<OutputIt, bdd>>>
   OutputIt
   bdd_satmin(const bdd& f, OutputIt iter)
   {
@@ -2174,7 +2175,8 @@ namespace adiar
   /// \returns The output iterator at its final state.
   //////////////////////////////////////////////////////////////////////////////
   template <typename OutputIt,
-            typename = enable_if<!is_convertible<OutputIt, consumer<pair<bdd::label_type, bool>>> && !is_convertible<OutputIt, bdd>>>
+            typename = enable_if<!is_convertible<OutputIt, consumer<pair<bdd::label_type, bool>>>
+                                 && !is_convertible<OutputIt, bdd>>>
   OutputIt
   bdd_satmax(const bdd& f, OutputIt iter)
   {

diff --git a/src/adiar/deprecated.h b/src/adiar/deprecated.h
@@ -22,7 +22,8 @@ namespace adiar
   /// \brief The lexicographically smallest x such that f(x) is true.
   //////////////////////////////////////////////////////////////////////////////////////////////////
   template <typename ForwardIt, typename = enable_if<is_mutable<typename ForwardIt::reference>>>
-  [[deprecated("Use an output iterator (Did you mean to provide values? Use a constant iterator, for now)")]]
+  [[deprecated(
+    "Use an output iterator (Did you mean to provide values? Use a constant iterator, for now)")]]
   ForwardIt
   bdd_satmin(const bdd& f, ForwardIt begin, ForwardIt end)
   {
@@ -34,7 +35,8 @@ namespace adiar
   /// \brief The lexicographically largest x such that f(x) is true.
   //////////////////////////////////////////////////////////////////////////////
   template <typename ForwardIt, typename = enable_if<is_mutable<typename ForwardIt::reference>>>
-  [[deprecated("Use an output iterator (Did you mean to provide values? Use a constant iterator, for now)")]]
+  [[deprecated(
+    "Use an output iterator (Did you mean to provide values? Use a constant iterator, for now)")]]
   ForwardIt
   bdd_satmax(const bdd& f, ForwardIt begin, ForwardIt end)
   {

diff --git a/src/adiar/functional.h b/src/adiar/functional.h
@@ -66,9 +66,7 @@ namespace adiar
   inline consumer<ValueType>
   make_consumer(OutputIt& iter)
   {
-    return [&iter](const ValueType& x) {
-      *(iter++) = x;
-    };
+    return [&iter](const ValueType& x) { *(iter++) = x; };
   }
 
   //////////////////////////////////////////////////////////////////////////////////////////////////
@@ -78,9 +76,7 @@ namespace adiar
   inline consumer<ValueType>
   make_consumer(OutputIt&& iter)
   {
-    return [_iter = std::move(iter)](const ValueType& x) mutable {
-      *(_iter++) = x;
-    };
+    return [_iter = std::move(iter)](const ValueType& x) mutable { *(_iter++) = x; };
   }
 
   //////////////////////////////////////////////////////////////////////////////////////////////////
@@ -92,9 +88,7 @@ namespace adiar
   {
     using value_type = typename OutputIt::container_type::value_type;
 
-    return [&iter](const value_type& x) {
-      *(iter++) = x;
-    };
+    return [&iter](const value_type& x) { *(iter++) = x; };
   }
 
   //////////////////////////////////////////////////////////////////////////////////////////////////
@@ -106,9 +100,7 @@ namespace adiar
   {
     using value_type = typename OutputIt::container_type::value_type;
 
-    return [_iter = std::move(iter)](const value_type& x) mutable {
-      *(_iter++) = x;
-    };
+    return [_iter = std::move(iter)](const value_type& x) mutable { *(_iter++) = x; };
   }
 
   //////////////////////////////////////////////////////////////////////////////////////////////////