Method add_term

src/analysis/numerical/linear_constraint.rs:65–76

Add term `n*x` to the linear expression

(&mut self, x: Rc<Path>, n: Integer)

    /// Add term `n*x` to the linear expression
    pub fn add_term(&mut self, x: Rc<Path>, n: Integer) {
        if let Some(num) = self.cof_map.get(&x) {
            let r = num + n;
            if r == 0 {
                self.cof_map.remove(&x);
            } else {
                self.cof_map.insert(x.clone(), r);
            }
        } else if n != 0 {
            self.cof_map.insert(x.clone(), n);
        }
    }
}

impl<Num> From<Num> for LinearExpression