Struct Constraint 

pub struct Constraint {
    pub expr: LinearExpr,
    pub strict: bool,
}

A linear constraint representing either expr <= 0 or expr < 0.

All inequalities are normalized to this form during processing. For example, x >= 5 becomes -x + 5 <= 0, i.e., 5 - x <= 0.

Fields

expr: LinearExpr

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 Constraint

pub fn is_satisfied_constant(&self) -> bool

Check if a constant constraint is satisfied For non-constant constraints, returns true (we can’t tell yet)

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.