From c33611e9e07fb3a49acfd63ab9659169d41078c5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 15 Apr 2022 19:23:48 +0200 Subject: [PATCH] include map for non vs builds Signed-off-by: Nikolaj Bjorner --- src/util/max_cliques.h | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/util/max_cliques.h b/src/util/max_cliques.h index 1e1611b45..4dd91b366 100644 --- a/src/util/max_cliques.h +++ b/src/util/max_cliques.h @@ -164,7 +164,14 @@ public: next.push_back(n); std::sort(next.begin(), next.end(), [&](unsigned a, unsigned b) { return conns[a].num_elems() < conns[b].num_elems(); }); for (unsigned x : next) { - if (std::all_of(am1.begin(), am1.end(), [&](unsigned y) { return conns[x].contains(y); })) + bool all = true; + for (unsigned y : am1) { + if (!conns[x].contains(y)) { + all = false; + break; + } + } + if (all) am1.insert(x); } am1.insert(v);