mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
In src/sat/sat_local_search.*: Changed the return type of constraint_slack
to int64_t
instead of uint64_t
to match the m_slack
member of the constraint
struct, which has type int64_t
. (#5360)
This commit is contained in:
parent
45228bf8fb
commit
161d38397b
|
@ -186,9 +186,9 @@ namespace sat {
|
|||
inline bool is_unit(literal l) const { return m_vars[l.var()].m_unit; }
|
||||
|
||||
unsigned num_constraints() const { return m_constraints.size(); } // constraint index from 1 to num_constraint
|
||||
|
||||
uint64_t constraint_slack(unsigned ci) const { return m_constraints[ci].m_slack; }
|
||||
|
||||
|
||||
int64_t constraint_slack(unsigned ci) const { return m_constraints[ci].m_slack; }
|
||||
|
||||
void init();
|
||||
void reinit();
|
||||
void reinit_orig();
|
||||
|
|
Loading…
Reference in a new issue