Enum grb::expr::Expr

pub enum Expr {
    Quad(QuadExpr),
    Linear(LinExpr),
    QTerm(f64, Var, Var),
    Term(f64, Var),
    Constant(f64),
}

An algbraic expression of variables.

Variants

Quad(QuadExpr)

A quadratic expression

Tuple Fields of Quad

0: QuadExpr

Linear(LinExpr)

A linear expression

Tuple Fields of Linear

0: LinExpr

QTerm(f64, Var, Var)

A single quadratic term

Tuple Fields of QTerm

0: f641: Var2: Var

Term(f64, Var)

A single linear term

Tuple Fields of Term

0: f641: Var

Constant(f64)

A constant term

Tuple Fields of Constant

0: f64

Implementations

impl Expr

pub fn is_linear(&self) -> bool

Returns false if quadratic terms are present.

pub fn into_quadexpr(self) -> QuadExpr

Transform into a QuadExpr, possibly with no quadratic terms)

pub fn into_linexpr(self) -> Result<LinExpr>

Transform into a LinExpr, possible with no linear terms (just a constant)

Errors

Returns an Error::AlgebraicError if Expr is not linear.

Trait Implementations

impl Add<Expr> for Expr

type Output = Self

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for Var

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for usize

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for i8

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for i16

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for i32

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for i64

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for isize

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for LinExpr

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for QuadExpr

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for f64

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for f32

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for u8

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for u16

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for u32

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Expr> for u64

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<LinExpr> for Expr

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<QuadExpr> for Expr

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Var> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: Var) -> Expr

Performs the + operation.

impl Add<f32> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: f32) -> Expr

Performs the + operation.

impl Add<f64> for Expr

type Output = Expr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<i16> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: i16) -> Expr

Performs the + operation.

impl Add<i32> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: i32) -> Expr

Performs the + operation.

impl Add<i64> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: i64) -> Expr

Performs the + operation.

impl Add<i8> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: i8) -> Expr

Performs the + operation.

impl Add<isize> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: isize) -> Expr

Performs the + operation.

impl Add<u16> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: u16) -> Expr

Performs the + operation.

impl Add<u32> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: u32) -> Expr

Performs the + operation.

impl Add<u64> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: u64) -> Expr

Performs the + operation.

impl Add<u8> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: u8) -> Expr

Performs the + operation.

impl Add<usize> for Expr

type Output = Expr

The resulting type after applying the + operator.

fn add(self, rhs: usize) -> Expr

Performs the + operation.

impl AttachModel for Expr

fn attach<'a>(&'a self, model: &'a Model) -> Attached<'a, Self> where
    Self: Sized, 

Attach a model reference to this object for formatting with Debug

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Default for Expr

fn default() -> Self

Returns the “default value” for a type.

impl<T: Copy + Into<Expr>> From<&'_ T> for Expr

fn from(val: &T) -> Expr

Performs the conversion.

impl From<LinExpr> for Expr

fn from(val: LinExpr) -> Expr

Performs the conversion.

impl From<QuadExpr> for Expr

fn from(val: QuadExpr) -> Expr

Performs the conversion.

impl From<Var> for Expr

fn from(var: Var) -> Expr

Performs the conversion.

impl From<f32> for Expr

fn from(val: f32) -> Expr

Performs the conversion.

impl From<f64> for Expr

fn from(val: f64) -> Expr

Performs the conversion.

impl From<i16> for Expr

fn from(val: i16) -> Expr

Performs the conversion.

impl From<i32> for Expr

fn from(val: i32) -> Expr

Performs the conversion.

impl From<i64> for Expr

fn from(val: i64) -> Expr

Performs the conversion.

impl From<i8> for Expr

fn from(val: i8) -> Expr

Performs the conversion.

impl From<isize> for Expr

fn from(val: isize) -> Expr

Performs the conversion.

impl From<u16> for Expr

fn from(val: u16) -> Expr

Performs the conversion.

impl From<u32> for Expr

fn from(val: u32) -> Expr

Performs the conversion.

impl From<u64> for Expr

fn from(val: u64) -> Expr

Performs the conversion.

impl From<u8> for Expr

fn from(val: u8) -> Expr

Performs the conversion.

impl From<usize> for Expr

fn from(val: usize) -> Expr

Performs the conversion.

impl Mul<Expr> for f64

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for f32

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for i64

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for isize

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for u8

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for u16

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for u32

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for u64

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for usize

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for i8

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for i16

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Expr> for i32

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<f32> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: f32) -> Expr

Performs the * operation.

impl Mul<f64> for Expr

type Output = Expr

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<i16> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: i16) -> Expr

Performs the * operation.

impl Mul<i32> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: i32) -> Expr

Performs the * operation.

impl Mul<i64> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: i64) -> Expr

Performs the * operation.

impl Mul<i8> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: i8) -> Expr

Performs the * operation.

impl Mul<isize> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: isize) -> Expr

Performs the * operation.

impl Mul<u16> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: u16) -> Expr

Performs the * operation.

impl Mul<u32> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: u32) -> Expr

Performs the * operation.

impl Mul<u64> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: u64) -> Expr

Performs the * operation.

impl Mul<u8> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: u8) -> Expr

Performs the * operation.

impl Mul<usize> for Expr

type Output = Expr

The resulting type after applying the * operator.

fn mul(self, rhs: usize) -> Expr

Performs the * operation.

impl Neg for Expr

type Output = Expr

The resulting type after applying the - operator.

fn neg(self) -> Expr

Performs the unary - operation.

impl Sub<Expr> for Expr

type Output = Self

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for Var

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for usize

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for i8

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for i16

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for i32

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for i64

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for isize

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for LinExpr

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for QuadExpr

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for f64

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for f32

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for u8

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for u16

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for u32

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Expr> for u64

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<LinExpr> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: LinExpr) -> Expr

Performs the - operation.

impl Sub<QuadExpr> for Expr

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Var> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: Var) -> Expr

Performs the - operation.

impl Sub<f32> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: f32) -> Expr

Performs the - operation.

impl Sub<f64> for Expr

type Output = Expr

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<i16> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: i16) -> Expr

Performs the - operation.

impl Sub<i32> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: i32) -> Expr

Performs the - operation.

impl Sub<i64> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: i64) -> Expr

Performs the - operation.

impl Sub<i8> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: i8) -> Expr

Performs the - operation.

impl Sub<isize> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: isize) -> Expr

Performs the - operation.

impl Sub<u16> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: u16) -> Expr

Performs the - operation.

impl Sub<u32> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: u32) -> Expr

Performs the - operation.

impl Sub<u64> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: u64) -> Expr

Performs the - operation.

impl Sub<u8> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: u8) -> Expr

Performs the - operation.

impl Sub<usize> for Expr

type Output = Expr

The resulting type after applying the - operator.

fn sub(self, rhs: usize) -> Expr

Performs the - operation.

impl<A: Into<Expr>> Sum<A> for Expr

fn sum<I>(iter: I) -> Expr where
    I: Iterator<Item = A>, 

Method which takes an iterator and generates Self from the elements by “summing up” the items.