Struct IntConstraint 

pub struct IntConstraint {
    pub expr: IntExpr,
    pub strict: bool,
}

Integer constraint representing expr <= 0 or expr < 0.

For integers, strict inequalities can be converted to non-strict: x < k is equivalent to x <= k - 1.

Fields

expr: IntExpr

The linear expression (constraint is expr OP 0).

strict: bool

If true, this is a strict inequality (< 0). If false, this is a non-strict inequality (<= 0).

Implementations

impl IntConstraint

pub fn is_satisfied_constant(&self) -> bool

Check if a constant constraint is satisfied

pub fn normalize(&mut self)

Normalize by GCD of all coefficients

Trait Implementations

impl Clone for IntConstraint

fn clone(&self) -> IntConstraint

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IntConstraint

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

Formats the value using the given formatter.