Comment out Clang unsupported std::ranges::all_of() function

VeriFIT · Sep 8, 2023 · 1bf5246 · 1bf5246
1 parent 9796bdb
commit 1bf5246
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/src/inter-aut.cc b/src/inter-aut.cc
@@ -92,9 +92,15 @@ namespace {
         return std::find(vec.begin(), vec.end(), item) != vec.end();
     }
 
-    bool no_operators(const std::vector<mata::FormulaNode>& nodes)
-    {
-        return std::ranges::all_of(nodes, [](const mata::FormulaNode& node){ return !node.is_operator();});
+    bool no_operators(const std::vector<mata::FormulaNode>& nodes) {
+        // Refactor using all_of() when Clang adds support for it.
+        // return std::ranges::all_of(nodes, [](const mata::FormulaNode& node){ return !node.is_operator();});
+        for (const auto& node: nodes) {
+            if (node.is_operator()) {
+                return false;
+            }
+        }
+        return true;
     }
 
     std::string serialize_graph(const mata::FormulaGraph& graph)