mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

#7559

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-02-18 20:50:06 -08:00
parent 11066486d7
commit 28f3f8046e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/sls/sls_smt_solver.cpp
View file

@ -100,7 +100,7 @@ namespace sls {
unsigned num_external_in_unsat_vars() const override { return m_ddfw.num_external_in_unsat_vars(); } unsigned num_external_in_unsat_vars() const override { return m_ddfw.num_external_in_unsat_vars(); }
sat::bool_var add_var() override { m_dirty = true; return m_ddfw.add_var(); } sat::bool_var add_var() override { m_dirty = true; return m_ddfw.add_var(); }
void add_input_assertion(expr* f) { m_context.add_input_assertion(f); } void add_input_assertion(expr* f) { m_context.add_input_assertion(f); }
reslimit& rlimit() { return m_ddfw.rlimit(); } reslimit& rlimit() override { return m_ddfw.rlimit(); }
void shift_weights() override { m_ddfw.shift_weights(); } void shift_weights() override { m_ddfw.shift_weights(); }
void force_restart() override { m_ddfw.force_restart(); } void force_restart() override { m_ddfw.force_restart(); }