Method is_false

src/analysis/numerical/linear_constraint.rs:625–636

(&self)

    }

    pub fn is_false(&self) -> bool {
        if self.csts.is_empty() {
            false
        } else {
            for cst in &self.csts {
                if !cst.is_contradiction() {
                    return false;
                }
            }
            true
        }
    }

    pub fn is_true(&self) -> bool {
        self.csts.is_empty()