Method add

src/analysis/numerical/linear_constraint.rs:91–100

(self, other: Self)

    type Output = Self;

    fn add(self, other: Self) -> Self {
        let mut res = Self {
            cof_map: self.cof_map,
            cst: self.cst + &other.cst,
        };
        for (var, coff) in other {
            res.add_term(var, coff);
        }
        res
    }
}

impl Add<Integer> for LinearExpression {