From 161d38397bb5107d45d12c6d38c3475eea587c76 Mon Sep 17 00:00:00 2001 From: Robert Jacobson Date: Mon, 21 Jun 2021 17:40:31 -0400 Subject: [PATCH] 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) --- src/sat/sat_local_search.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sat/sat_local_search.h b/src/sat/sat_local_search.h index e48d88924..e46d4b009 100644 --- a/src/sat/sat_local_search.h +++ b/src/sat/sat_local_search.h @@ -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();