Struct Expression 

pub struct Expression<T> {
    pub terms: Vec<Term<T>>,
    pub constant: OrderedFloat<f64>,
}

An expression that can be the left hand or right hand side of a constraint equation. It is a linear combination of variables, i.e. a sum of variables weighted by coefficients, plus an optional constant.

Fields

terms: Vec<Term<T>>

constant: OrderedFloat<f64>

Implementations

impl<T: Clone> Expression<T>

pub fn from_constant(v: f64) -> Expression<T>

Constructs an expression of the form n, where n is a constant real number, not a variable.

pub fn from_term(term: Term<T>) -> Expression<T>

Constructs an expression from a single term. Forms an expression of the form n x where n is the coefficient, and x is the variable.

pub fn new(terms: Vec<Term<T>>, constant: f64) -> Expression<T>

General constructor. Each Term in terms is part of the sum forming the expression, as well as constant.

pub fn negate(&mut self)

Mutates this expression by multiplying it by minus one.

Trait Implementations

impl<T> Add<Expression<T>> for Term<T>

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, e: Expression<T>) -> Expression<T>

Performs the + operation.

impl<T> Add<Expression<T>> for f32

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, e: Expression<T>) -> Expression<T>

Performs the + operation.

impl<T> Add<Expression<T>> for f64

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, e: Expression<T>) -> Expression<T>

Performs the + operation.

impl<T> Add<Expression<T>> for i32

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, e: Expression<T>) -> Expression<T>

Performs the + operation.

impl<T> Add<Expression<T>> for u32

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, e: Expression<T>) -> Expression<T>

Performs the + operation.

impl Add<Expression<Variable>> for Variable

type Output = Expression<Variable>

The resulting type after applying the + operator.

fn add(self, e: Expression<Variable>) -> Expression<Variable>

Performs the + operation.

impl<T> Add<Term<T>> for Expression<T>

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, t: Term<T>) -> Expression<T>

Performs the + operation.

impl Add<Variable> for Expression<Variable>

type Output = Expression<Variable>

The resulting type after applying the + operator.

fn add(self, v: Variable) -> Expression<Variable>

Performs the + operation.

impl<T> Add<f32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, v: f32) -> Expression<T>

Performs the + operation.

impl<T> Add<f64> for Expression<T>

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, v: f64) -> Expression<T>

Performs the + operation.

impl<T> Add<i32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, v: i32) -> Expression<T>

Performs the + operation.

impl<T> Add<u32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, v: u32) -> Expression<T>

Performs the + operation.

impl<T> Add for Expression<T>

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, e: Expression<T>) -> Expression<T>

Performs the + operation.

impl<T> AddAssign<Term<T>> for Expression<T>

fn add_assign(&mut self, t: Term<T>)

Performs the += operation.

impl AddAssign<Variable> for Expression<Variable>

fn add_assign(&mut self, v: Variable)

Performs the += operation.

impl<T> AddAssign<f32> for Expression<T>

fn add_assign(&mut self, v: f32)

Performs the += operation.

impl<T> AddAssign<f64> for Expression<T>

fn add_assign(&mut self, v: f64)

Performs the += operation.

impl<T> AddAssign<i32> for Expression<T>

fn add_assign(&mut self, v: i32)

Performs the += operation.

impl<T> AddAssign<u32> for Expression<T>

fn add_assign(&mut self, v: u32)

Performs the += operation.

impl<T> AddAssign for Expression<T>

fn add_assign(&mut self, e: Expression<T>)

Performs the += operation.

impl<T: Clone> Clone for Expression<T>

fn clone(&self) -> Expression<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Var: Clone> Constrainable<Var> for Expression<Var>

fn equal_to<X>(self, x: X) -> Constraint<Var>

where X: Into<Expression<Var>> + Clone,

fn greater_than_or_equal_to<X>(self, x: X) -> Constraint<Var>

where X: Into<Expression<Var>> + Clone,

fn less_than_or_equal_to<X>(self, x: X) -> Constraint<Var>

where X: Into<Expression<Var>> + Clone,

fn is<X>(self, x: X) -> Constraint<Var>

where X: Into<Expression<Var>> + Clone,

fn is_ge<X>(self, x: X) -> Constraint<Var>

where X: Into<Expression<Var>> + Clone,

fn is_le<X>(self, x: X) -> Constraint<Var>

where X: Into<Expression<Var>> + Clone,

impl<T: Debug> Debug for Expression<T>

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

Formats the value using the given formatter.

impl<T: Clone> Div<f32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the / operator.

fn div(self, v: f32) -> Expression<T>

Performs the / operation.

impl<T: Clone> Div<f64> for Expression<T>

type Output = Expression<T>

The resulting type after applying the / operator.

fn div(self, v: f64) -> Expression<T>

Performs the / operation.

impl<T: Clone> Div<i32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the / operator.

fn div(self, v: i32) -> Expression<T>

Performs the / operation.

impl<T: Clone> Div<u32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the / operator.

fn div(self, v: u32) -> Expression<T>

Performs the / operation.

impl<T: Clone> DivAssign<f32> for Expression<T>

fn div_assign(&mut self, v: f32)

Performs the /= operation.

impl<T: Clone> DivAssign<f64> for Expression<T>

fn div_assign(&mut self, v: f64)

Performs the /= operation.

impl<T: Clone> DivAssign<i32> for Expression<T>

fn div_assign(&mut self, v: i32)

Performs the /= operation.

impl<T: Clone> DivAssign<u32> for Expression<T>

fn div_assign(&mut self, v: u32)

Performs the /= operation.

impl<T: Clone> From<Term<T>> for Expression<T>

fn from(t: Term<T>) -> Expression<T>

Converts to this type from the input type.

impl From<Variable> for Expression<Variable>

fn from(v: Variable) -> Expression<Variable>

Converts to this type from the input type.

impl<T: Clone> From<f64> for Expression<T>

fn from(v: f64) -> Expression<T>

Converts to this type from the input type.

impl<T: Clone> From<i32> for Expression<T>

fn from(v: i32) -> Expression<T>

Converts to this type from the input type.

impl<T: Clone> From<u32> for Expression<T>

fn from(v: u32) -> Expression<T>

Converts to this type from the input type.

impl<T: Hash> Hash for Expression<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: Clone> Mul<Expression<T>> for f32

type Output = Expression<T>

The resulting type after applying the * operator.

fn mul(self, e: Expression<T>) -> Expression<T>

Performs the * operation.

impl<T: Clone> Mul<Expression<T>> for f64

type Output = Expression<T>

The resulting type after applying the * operator.

fn mul(self, e: Expression<T>) -> Expression<T>

Performs the * operation.

impl<T: Clone> Mul<Expression<T>> for i32

type Output = Expression<T>

The resulting type after applying the * operator.

fn mul(self, e: Expression<T>) -> Expression<T>

Performs the * operation.

impl<T: Clone> Mul<Expression<T>> for u32

type Output = Expression<T>

The resulting type after applying the * operator.

fn mul(self, e: Expression<T>) -> Expression<T>

Performs the * operation.

impl<T: Clone> Mul<f32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the * operator.

fn mul(self, v: f32) -> Expression<T>

Performs the * operation.

impl<T: Clone> Mul<f64> for Expression<T>

type Output = Expression<T>

The resulting type after applying the * operator.

fn mul(self, v: f64) -> Expression<T>

Performs the * operation.

impl<T: Clone> Mul<i32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the * operator.

fn mul(self, v: i32) -> Expression<T>

Performs the * operation.

impl<T: Clone> Mul<u32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the * operator.

fn mul(self, v: u32) -> Expression<T>

Performs the * operation.

impl<T: Clone> MulAssign<f32> for Expression<T>

fn mul_assign(&mut self, v: f32)

Performs the *= operation.

impl<T: Clone> MulAssign<f64> for Expression<T>

fn mul_assign(&mut self, v: f64)

Performs the *= operation.

impl<T: Clone> MulAssign<i32> for Expression<T>

fn mul_assign(&mut self, v: i32)

Performs the *= operation.

impl<T: Clone> MulAssign<u32> for Expression<T>

fn mul_assign(&mut self, v: u32)

Performs the *= operation.

impl<T: Clone> Neg for Expression<T>

type Output = Expression<T>

The resulting type after applying the - operator.

fn neg(self) -> Expression<T>

Performs the unary - operation.

impl<T: PartialEq> PartialEq for Expression<T>

fn eq(&self, other: &Expression<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Clone> Sub<Expression<T>> for Term<T>

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, e: Expression<T>) -> Expression<T>

Performs the - operation.

impl<T: Clone> Sub<Expression<T>> for f32

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, e: Expression<T>) -> Expression<T>

Performs the - operation.

impl<T: Clone> Sub<Expression<T>> for f64

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, e: Expression<T>) -> Expression<T>

Performs the - operation.

impl<T: Clone> Sub<Expression<T>> for i32

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, e: Expression<T>) -> Expression<T>

Performs the - operation.

impl<T: Clone> Sub<Expression<T>> for u32

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, e: Expression<T>) -> Expression<T>

Performs the - operation.

impl Sub<Expression<Variable>> for Variable

type Output = Expression<Variable>

The resulting type after applying the - operator.

fn sub(self, e: Expression<Variable>) -> Expression<Variable>

Performs the - operation.

impl<T> Sub<Term<T>> for Expression<T>

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, t: Term<T>) -> Expression<T>

Performs the - operation.

impl Sub<Variable> for Expression<Variable>

type Output = Expression<Variable>

The resulting type after applying the - operator.

fn sub(self, v: Variable) -> Expression<Variable>

Performs the - operation.

impl<T> Sub<f32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, v: f32) -> Expression<T>

Performs the - operation.

impl<T> Sub<f64> for Expression<T>

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, v: f64) -> Expression<T>

Performs the - operation.

impl<T> Sub<i32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, v: i32) -> Expression<T>

Performs the - operation.

impl<T> Sub<u32> for Expression<T>

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, v: u32) -> Expression<T>

Performs the - operation.

impl<T: Clone> Sub for Expression<T>

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, e: Expression<T>) -> Expression<T>

Performs the - operation.

impl<T> SubAssign<Term<T>> for Expression<T>

fn sub_assign(&mut self, t: Term<T>)

Performs the -= operation.

impl SubAssign<Variable> for Expression<Variable>

fn sub_assign(&mut self, v: Variable)

Performs the -= operation.

impl<T> SubAssign<f32> for Expression<T>

fn sub_assign(&mut self, v: f32)

Performs the -= operation.

impl<T> SubAssign<f64> for Expression<T>

fn sub_assign(&mut self, v: f64)

Performs the -= operation.

impl<T> SubAssign<i32> for Expression<T>

fn sub_assign(&mut self, v: i32)

Performs the -= operation.

impl<T> SubAssign<u32> for Expression<T>

fn sub_assign(&mut self, v: u32)

Performs the -= operation.

impl<T: Clone> SubAssign for Expression<T>

fn sub_assign(&mut self, e: Expression<T>)

Performs the -= operation.

impl<T: Eq> Eq for Expression<T>

impl<T> StructuralPartialEq for Expression<T>