Method refine_equality

src/analysis/numerical/interval_domain.rs:392–396

(&mut self, expr: &LinearExpression)

    }

    fn refine_equality(&mut self, expr: &LinearExpression) {
        if let Some((path, low, high)) = interval_from_unary_expr(expr) {
            self.refine_path_interval(&path, Interval::new(low, high));
        }
    }

    fn refine_less_equal(&mut self, expr: &LinearExpression) {
        let Some((path, coeff, cst)) = unary_linear_expr(expr) else {