mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-04 13:21:22 +00:00
Code Activity

na

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-03-08 08:51:00 -08:00
parent c6f8ee33d4
commit 1d224d1bcd
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/sat/smt/arith_solver.h
View file

@ -427,8 +427,8 @@ namespace arith {
void get_antecedents(literal l, sat::ext_justification_idx idx, literal_vector& r, bool probing) override; void get_antecedents(literal l, sat::ext_justification_idx idx, literal_vector& r, bool probing) override;
void asserted(literal l) override; void asserted(literal l) override;
sat::check_result check() override; sat::check_result check() override;
void simplify() override; void simplify() override {}
void init_search() override; void init_search() override {}
std::ostream& display(std::ostream& out) const override; std::ostream& display(std::ostream& out) const override;
std::ostream& display_justification(std::ostream& out, sat::ext_justification_idx idx) const override; std::ostream& display_justification(std::ostream& out, sat::ext_justification_idx idx) const override;