Method fmt

src/analysis/numerical/linear_constraint.rs:218–238

(&self, f: &mut fmt::Formatter<'_>)

impl Debug for LinearExpression {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        let mut res = String::new();
        for (i, (v, n)) in self.cof_map.iter().enumerate() {
            if *n > 0 && i != 0 {
                res.push('+');
            }
            if *n == -1 {
                res.push('-');
            } else if *n != 1 {
                res.push_str(format!("{}*", n).as_str());
            }
            res.push_str(format!("{:?}", v).as_str());
        }
        if self.cst > 0 && !self.cof_map.is_empty() {
            res.push('+');
        }
        if self.cst != 0 || self.cof_map.is_empty() {
            res.push_str(format!("{}", self.cst).as_str());
        }
        write!(f, "{}", res)
    }
}

fn refine_symbolic_value(val: Rc<SymbolicValue>) -> Rc<SymbolicValue> {