Struct Constraint 

pub struct Constraint {
    pub expr: LinExpr,
    pub rhs: f64,
    pub cmp: Cmp,
}

A linear constraint of the form expr cmp rhs.

Examples

let x = VarId(0);
let expr = LinExpr::new(x, 2.0) + 3.0;

let c1 = Constraint::leq(expr.clone(), 5.0);  // 2*x0 + 3 <= 5
let c2 = Constraint::geq(expr.clone(), 1.0);  // 2*x0 + 3 >= 1
let c3 = Constraint::eq(expr, 4.0);           // 2*x0 + 3 == 4

Fields

expr: LinExpr

The left-hand side linear expression of the constraint.

rhs: f64

The right-hand side value of the constraint.

cmp: Cmp

The comparison operator (==, <=, >=).

Implementations

impl Constraint

pub fn leq(lhs: LinExpr, rhs: f64) -> Self

Creates a <= constraint: lhs <= rhs.

pub fn geq(lhs: LinExpr, rhs: f64) -> Self

Creates a >= constraint: lhs >= rhs.

pub fn eq(lhs: LinExpr, rhs: f64) -> Self

Creates a == constraint: lhs == rhs.

Trait Implementations

impl AddAssign<Constraint> for Model

Allows adding constraints to the model using the += operator.

Example

let mut model = Model::new();
let x = model.add_var().finish();
model += x.geq(0.0);

fn add_assign(&mut self, rhs: Constraint)

Performs the += operation.

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 Display for Constraint

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

Formats the value using the given formatter.