Method negate

src/analysis/numerical/linear_constraint.rs:398–411

(&self)

    }

    pub fn negate(&self) -> Self {
        if self.is_tautology() {
            Self::new_false()
        } else if self.is_contradiction() {
            Self::new_true()
        } else {
            match self {
                LinearConstraint::Equality(expr) => Self::Inequality(expr.clone()),
                LinearConstraint::Inequality(expr) => Self::Equality(expr.clone()),
                LinearConstraint::LessEq(expr) => Self::LessThan(-expr.clone()),
                LinearConstraint::LessThan(expr) => Self::LessEq(-expr.clone()),
            }
        }
    }
}

impl From<LinearConstraint> for LinearConstraintSystem {