Method add_constraints

src/analysis/numerical/interval_domain.rs:355–369

(&mut self, conds: LinearConstraintSystem)

    }

    pub fn add_constraints(&mut self, conds: LinearConstraintSystem) {
        if self.is_bottom() {
            return;
        }
        if conds.is_false() {
            self.set_to_bottom();
            return;
        }
        for cst in &conds {
            self.add_constraint(cst);
            if self.is_bottom() {
                return;
            }
        }
    }

    fn add_constraint(&mut self, cst: &LinearConstraint) {
        if cst.is_contradiction() {