Method sub

src/analysis/numerical/linear_constraint.rs:130–139

(self, other: Self)

    type Output = Self;

    fn sub(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 Sub<Integer> for LinearExpression {