Method is_true

src/analysis/numerical/linear_constraint.rs:638–640

(&self)

    }

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

impl IntoIterator for LinearConstraintSystem {