From e78cd57210691c3ece2fe429dc9799b65f915189 Mon Sep 17 00:00:00 2001 From: Stefan Ellmauthaler <71695780+ellmau@users.noreply.github.com> Date: Tue, 21 Jun 2022 18:15:44 +0200 Subject: [PATCH] Update lib/src/nogoods.rs Co-authored-by: Maximilian Marx --- lib/src/nogoods.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/lib/src/nogoods.rs b/lib/src/nogoods.rs index daa407f..27ad71d 100644 --- a/lib/src/nogoods.rs +++ b/lib/src/nogoods.rs @@ -86,7 +86,10 @@ impl NoGood { pub fn update_term_vec(&self, term_vec: &[Term], update: &mut bool) -> Vec { *update = false; term_vec.iter().enumerate().map(|(idx,val)|{ - let idx:u32 = idx.try_into().expect("no-good learner implementation is based on the assumption that only u32::MAX-many variables are in place"); + let idx: u32 = idx.try_into().expect( + "no-good learner implementation is based on the assumption \ + that only u32::MAX-many variables are in place", + ); if self.active.contains(idx){ if !val.is_truth_value() { *update = true;