mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 08:35:31 +00:00
Code Activity

fix warning

Browse source
This commit is contained in:
Jakob Rath 2024-02-01 12:13:49 +01:00
parent e6f7ba90f1
commit 0b5f163ba7
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/polysat/ule_constraint.h
View file

@ -41,8 +41,8 @@ namespace polysat {
lbool weak_eval(assignment const& a) const override;
lbool strong_eval(assignment const& a) const override;
bool is_linear() const override { return lhs().is_linear_or_value() && rhs().is_linear_or_value(); }
void activate(core& c, bool sign, dependency const& dep);
bool propagate(core& c, lbool value, dependency const& dep) { return false; }
void activate(core& c, bool sign, dependency const& dep) override;
bool propagate(core& c, lbool value, dependency const& dep) override { return false; }
bool is_eq() const { return m_rhs.is_zero(); }
unsigned power_of_2() const { return m_lhs.power_of_2(); }