mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

use iterator shortcut

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-11-18 09:52:58 -08:00
parent a9f9d3ddf4
commit 1710fe4927
1 changed files with 1 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/smt/smt_context.cpp
View file

@ -1672,12 +1672,7 @@ namespace smt {
} }
bool context::can_theories_propagate() const { bool context::can_theories_propagate() const {
for (theory* t : m_theory_set) { return any_of(m_theory_set, [&](theory* t) { return t->can_propagate(); });
if (t->can_propagate()) {
return true;
}
}
return false;
} }
bool context::can_propagate() const { bool context::can_propagate() const {