Struct Constraint 

pub struct Constraint {
    pub coefficients: Vec<Coefficient>,
    pub bias: Bound,
}

Represents a linear constraint in the form: sum(coeff_i * var_i) + bias >= 0.

Fields

coefficients: Vec<Coefficient>

Vector of (variable_name, coefficient) pairs

bias: Bound

Bias/constant term with potential bounds

Implementations

impl Constraint

pub fn dot(&self, values: &IndexMap<String, Bound>) -> Bound

Computes the dot product of the constraint coefficients with variable bounds.

This calculates the range of possible values for the linear combination of variables in this constraint, excluding the bias term.

Arguments

• values - Map of variable names to their bounds

Returns

A bound representing the min and max possible values of the dot product

pub fn evaluate(&self, values: &IndexMap<String, Bound>) -> Bound

Evaluates the constraint against variable bounds.

Computes whether the constraint (dot product + bias >= 0) is satisfied for the given variable bounds.

Arguments

• values - Map of variable names to their bounds

Returns

A bound where:

• .0 is 1 if the constraint is satisfied with lower bounds, 0 otherwise
• .1 is 1 if the constraint is satisfied with upper bounds, 0 otherwise

pub fn negate(&self) -> Constraint

Creates the negation of this constraint.

Transforms the constraint from (ax + b >= 0) to (-ax - b - 1 >= 0), which is equivalent to (ax + b < 0).

Returns

A new Constraint representing the negation of this constraint

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.

impl Hash for Constraint

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Constraint

fn eq(&self, other: &Constraint) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Constraint