Method constant

src/analysis/numerical/linear_constraint.rs:41–43

Returns the constant term

(&self)

    /// Returns the constant term
    pub fn constant(&self) -> Integer {
        self.cst.clone()
    }

    /// Get the coefficient of variable `var`, e.g. for linear expression `3a+4b-5c`,
    /// the coefficient of variable `a` is 3. If `var` is not found in the expression,