Struct Expression 

pub struct Expression { /* private fields */ }

A linear expression: sum of (coefficient * variable) + constant.

Internally stored as a flat HashMap<Variable, f64> plus a scalar constant. This representation automatically merges like terms: x + 2*x → {x: 3.0}.

Implementations

impl Expression

pub fn from_constant(c: f64) -> Self

Create an expression representing a single scalar constant.

pub fn leq(self, rhs: impl Into<Expression>) -> Constraint

Create a <= constraint: self <= rhs.

pub fn geq(self, rhs: impl Into<Expression>) -> Constraint

Create a >= constraint: self >= rhs.

pub fn eq_constraint(self, rhs: impl Into<Expression>) -> Constraint

Create an == constraint: self == rhs.

Trait Implementations

impl Add for Expression

type Output = Expression

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expression> for QuadExpr

type Output = QuadExpr

The resulting type after applying the + operator.

fn add(self, rhs: Expression) -> QuadExpr

Performs the + operation.

impl Add<Expression> for Variable

type Output = Expression

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expression> for f64

type Output = Expression

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<QuadExpr> for Expression

type Output = QuadExpr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Variable> for Expression

type Output = Expression

The resulting type after applying the + operator.

fn add(self, rhs: Variable) -> Expression

Performs the + operation.

impl Add<f64> for Expression

type Output = Expression

The resulting type after applying the + operator.

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

Performs the + operation.

impl Clone for Expression

fn clone(&self) -> Expression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl Default for Expression

fn default() -> Expression

Returns the “default value” for a type.

impl From<Expression> for QuadExpr

fn from(e: Expression) -> Self

Converts to this type from the input type.

impl From<Variable> for Expression

fn from(var: Variable) -> Self

Converts to this type from the input type.

impl From<f64> for Expression

fn from(c: f64) -> Self

Converts to this type from the input type.

impl From<i32> for Expression

fn from(c: i32) -> Self

Converts to this type from the input type.

impl Mul<Expression> for Variable

type Output = QuadExpr

The resulting type after applying the * operator.

fn mul(self, rhs: Expression) -> QuadExpr

Performs the * operation.

impl Mul<Expression> for f64

type Output = Expression

The resulting type after applying the * operator.

fn mul(self, rhs: Expression) -> Expression

Performs the * operation.

impl Mul<Variable> for Expression

type Output = QuadExpr

The resulting type after applying the * operator.

fn mul(self, var: Variable) -> QuadExpr

Performs the * operation.

impl Mul<f64> for Expression

type Output = Expression

The resulting type after applying the * operator.

fn mul(self, rhs: f64) -> Expression

Performs the * operation.

impl Neg for Expression

type Output = Expression

The resulting type after applying the - operator.

fn neg(self) -> Expression

Performs the unary - operation.

impl Sub for Expression

type Output = Expression

The resulting type after applying the - operator.

fn sub(self, rhs: Expression) -> Expression

Performs the - operation.

impl Sub<Expression> for QuadExpr

type Output = QuadExpr

The resulting type after applying the - operator.

fn sub(self, rhs: Expression) -> QuadExpr

Performs the - operation.

impl Sub<Expression> for Variable

type Output = Expression

The resulting type after applying the - operator.

fn sub(self, rhs: Expression) -> Expression

Performs the - operation.

impl Sub<Expression> for f64

type Output = Expression

The resulting type after applying the - operator.

fn sub(self, rhs: Expression) -> Expression

Performs the - operation.

impl Sub<QuadExpr> for Expression

type Output = QuadExpr

The resulting type after applying the - operator.

fn sub(self, rhs: QuadExpr) -> QuadExpr

Performs the - operation.

impl Sub<Variable> for Expression

type Output = Expression

The resulting type after applying the - operator.

fn sub(self, rhs: Variable) -> Expression

Performs the - operation.

impl Sub<f64> for Expression

type Output = Expression

The resulting type after applying the - operator.

fn sub(self, rhs: f64) -> Expression

Performs the - operation.