mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-19 08:43:18 +00:00
Code Activity

Revert changes to z3++.h as requested

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-01-17 21:25:31 +00:00
parent bc2441c1c4
commit 4c03aa572b
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/c++/z3++.h
View file

@ -3431,7 +3431,7 @@ namespace z3 {
Z3_optimize_inc_ref(c, m_opt);
add(expr_vector(c, src.assertions()));
expr_vector v(c, src.objectives());
for (auto& e : v) minimize(e);
for (expr_vector::iterator it = v.begin(); it != v.end(); ++it) minimize(*it);
}
optimize& operator=(optimize const& o) {
Z3_optimize_inc_ref(o.ctx(), o.m_opt);
@ -3447,7 +3447,7 @@ namespace z3 {
Z3_optimize_assert(ctx(), m_opt, e);
}
void add(expr_vector const& es) {
for (auto& e : es) add(e);
for (expr_vector::iterator it = es.begin(); it != es.end(); ++it) add(*it);
}
void add(expr const& e, expr const& t) {
assert(e.is_bool());