AffineExpr: set constraint operator precedence

gruhn · Apr 28, 2024 · 5d4e86d · 5d4e86d
1 parent 1313196
commit 5d4e86d
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/Theory/LinearArithmatic/Constraint.hs b/src/Theory/LinearArithmatic/Constraint.hs
@@ -62,10 +62,20 @@ instance Num AffineExpr where
   negate (AffineExpr constant coeffs) = 
     AffineExpr (negate constant) (M.map negate coeffs)
 
+-- Same precedence as the usual comparison operators (==, <=, ...).
+-- Otherwise arithmatic expressions have to be bracketed, 
+-- e.g. like this: `(x + y) .<= 3`.
+infix 4 .==
+infix 4 .<=
+infix 4 .>=
+infix 4 .>
+infix 4 .<
+
 -- | Construct `Equals` constraint.
 (.==) :: AffineExpr -> AffineExpr -> Constraint
 (.==) lhs_expr rhs_expr = (lhs_expr - rhs_expr, Equals)
 
+
 -- | Construct `LessEquals` constraint.
 (.<=) :: AffineExpr -> AffineExpr -> Constraint
 (.<=) lhs_expr rhs_expr = (lhs_expr - rhs_expr, LessEquals)