3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00

include map for non vs builds

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-04-15 19:23:48 +02:00
parent cc36dd1e0d
commit c33611e9e0

View file

@ -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);