Struct LinExpr 

pub struct LinExpr {
    pub terms: Vec<LinTerm>,
    pub constant: f64,
}

Represents a linear expression of the form a1*x1 + a2*x2 + ... + c.

Fields

terms: Vec<LinTerm>

All variable terms in the expression.

constant: f64

Constant term in the expression.

Implementations

impl LinExpr

pub fn new(var: VarId, coeff: f64) -> Self

Creates a new linear expression from a single variable and coefficient.

Example

let x = VarId(0);
let expr = LinExpr::new(x, 3.0); // 3*VarId(0)

pub fn constant(c: f64) -> Self

Creates a constant-only linear expression.

Example

let expr = LinExpr::constant(5.0); // 5

pub fn leq(self, rhs: f64) -> Constraint

Creates a <= constraint from this linear expression.

pub fn geq(self, rhs: f64) -> Constraint

Creates a >= constraint from this linear expression.

pub fn eq(self, rhs: f64) -> Constraint

Creates a == constraint from this linear expression.

Trait Implementations

impl Add<LinExpr> for VarId

VarId + LinExpr

type Output = LinExpr

The resulting type after applying the + operator.

fn add(self, rhs: LinExpr) -> LinExpr

Performs the + operation.

impl Add<LinExpr> for f64

f64 + LinExpr

type Output = LinExpr

The resulting type after applying the + operator.

fn add(self, rhs: LinExpr) -> LinExpr

Performs the + operation.

impl Add<VarId> for LinExpr

LinExpr + VarId

type Output = LinExpr

The resulting type after applying the + operator.

fn add(self, rhs: VarId) -> LinExpr

Performs the + operation.

impl Add<f64> for LinExpr

LinExpr + f64

type Output = LinExpr

The resulting type after applying the + operator.

fn add(self, rhs: f64) -> LinExpr

Performs the + operation.

impl Add for LinExpr

LinExpr + LinExpr

type Output = LinExpr

The resulting type after applying the + operator.

fn add(self, rhs: LinExpr) -> LinExpr

Performs the + operation.

impl AddAssign<VarId> for LinExpr

LinExpr += VarId

fn add_assign(&mut self, rhs: VarId)

Performs the += operation.

impl AddAssign for LinExpr

LinExpr += LinExpr

fn add_assign(&mut self, rhs: LinExpr)

Performs the += operation.

impl Clone for LinExpr

fn clone(&self) -> LinExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinExpr

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

Formats the value using the given formatter.

impl Default for LinExpr

fn default() -> LinExpr

Returns the “default value” for a type.

impl Display for LinExpr

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

Formats the value using the given formatter.

impl From<VarId> for LinExpr

Allows converting a single variable into a linear expression with coefficient 1.0.

fn from(var: VarId) -> Self

Converts to this type from the input type.