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