Stronger GreaterEq literal rounding

huub-solver · May 13, 2024 · 82f6e52 · 82f6e52
1 parent 6b0049d
commit 82f6e52
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/crates/huub/src/solver/view.rs b/crates/huub/src/solver/view.rs
@@ -306,7 +306,7 @@ impl LinearTransform {
 					None
 				}
 			}
-			LitMeaning::GreaterEq(i) => Some(LitMeaning::GreaterEq(div_floor(
+			LitMeaning::GreaterEq(i) => Some(LitMeaning::GreaterEq(div_ceil(
 				i - transformer.offset,
 				transformer.scale,
 			))),
@@ -323,11 +323,6 @@ fn div_ceil(a: IntVal, b: NonZeroIntVal) -> IntVal {
 	a / b.get() + (0 != a % b.get()) as IntVal
 }
 
-#[inline]
-fn div_floor(a: IntVal, b: NonZeroIntVal) -> IntVal {
-	a / b.get()
-}
-
 impl Neg for LinearTransform {
 	type Output = Self;
 	fn neg(self) -> Self::Output {