From b22daa98163b877bebe24f2d93e28d1e2f454a9f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 2 Dec 2023 19:39:43 -0800 Subject: [PATCH] missing header --- src/sat/sat_extension.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sat/sat_extension.h b/src/sat/sat_extension.h index ae99cae12be..3bb190cf4f0 100644 --- a/src/sat/sat_extension.h +++ b/src/sat/sat_extension.h @@ -87,6 +87,7 @@ namespace sat { virtual void init_search() {} virtual bool propagated(sat::literal l, sat::ext_constraint_idx idx) { UNREACHABLE(); return false; } virtual bool unit_propagate() = 0; + virtual bool should_propagate() { return false; } virtual bool is_external(bool_var v) { return false; } virtual double get_reward(literal l, ext_constraint_idx idx, literal_occs_fun& occs) const { return 0; } virtual void get_antecedents(literal l, ext_justification_idx idx, literal_vector & r, bool probing) = 0;