Struct casuarius::Expression

source · [−]

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

Expand description

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

source

impl<T: Clone> Expression<T>

source

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.

source

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.

source

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.

source

pub fn negate(&mut self)

Mutates this expression by multiplying it by minus one.

Trait Implementations

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

impl Add<Expression<Variable>> for Variable

type Output = Expression<Variable>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

impl Add<Variable> for Expression<Variable>

type Output = Expression<Variable>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the + operator.

source

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

Performs the + operation. Read more

source

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

source

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

Performs the += operation. Read more

source

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

source

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

Performs the += operation. Read more

source

impl AddAssign<Variable> for Expression<Variable>

source

fn add_assign(&mut self, v: Variable)

Performs the += operation. Read more

source

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

source

fn add_assign(&mut self, v: f32)

Performs the += operation. Read more

source

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

source

fn add_assign(&mut self, v: f64)

Performs the += operation. Read more

source

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

source

fn add_assign(&mut self, v: i32)

Performs the += operation. Read more

source

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

source

fn add_assign(&mut self, v: u32)

Performs the += operation. Read more

source

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

source

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

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

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

source

fn equal_to<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,

source

fn greater_than_or_equal_to<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,

source

fn less_than_or_equal_to<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,

source

fn is<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,

source

fn is_ge<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,

source

fn is_le<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,

source

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

source

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

Formats the value using the given formatter. Read more

source

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

type Output = Expression<T>

The resulting type after applying the / operator.

source

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

Performs the / operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the / operator.

source

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

Performs the / operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the / operator.

source

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

Performs the / operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the / operator.

source

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

Performs the / operation. Read more

source

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

source

fn div_assign(&mut self, v: f32)

Performs the /= operation. Read more

source

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

source

fn div_assign(&mut self, v: f64)

Performs the /= operation. Read more

source

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

source

fn div_assign(&mut self, v: i32)

Performs the /= operation. Read more

source

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

source

fn div_assign(&mut self, v: u32)

Performs the /= operation. Read more

source

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

source

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

Converts to this type from the input type.

source

impl From<Variable> for Expression<Variable>

source

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

Converts to this type from the input type.

source

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

source

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

Converts to this type from the input type.

source

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

source

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

Converts to this type from the input type.

source

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

source

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

Converts to this type from the input type.

source

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

source

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

Feeds this value into the given Hasher. Read more

1.3.0 · source

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

Feeds a slice of this type into the given Hasher. Read more

source

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

type Output = Expression<T>

The resulting type after applying the * operator.

source

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

Performs the * operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the * operator.

source

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

Performs the * operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the * operator.

source

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

Performs the * operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the * operator.

source

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

Performs the * operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the * operator.

source

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

Performs the * operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the * operator.

source

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

Performs the * operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the * operator.

source

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

Performs the * operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the * operator.

source

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

Performs the * operation. Read more

source

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

source

fn mul_assign(&mut self, v: f32)

Performs the *= operation. Read more

source

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

source

fn mul_assign(&mut self, v: f64)

Performs the *= operation. Read more

source

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

source

fn mul_assign(&mut self, v: i32)

Performs the *= operation. Read more

source

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

source

fn mul_assign(&mut self, v: u32)

Performs the *= operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

fn neg(self) -> Expression<T>

Performs the unary - operation. Read more

source

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

source

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

This method tests for self and other values to be equal, and is used by ==. Read more

1.0.0 · source

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

impl Sub<Expression<Variable>> for Variable

type Output = Expression<Variable>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

impl Sub<Variable> for Expression<Variable>

type Output = Expression<Variable>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

type Output = Expression<T>

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

source

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

Performs the -= operation. Read more

source

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

source

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

Performs the -= operation. Read more

source

impl SubAssign<Variable> for Expression<Variable>

source

fn sub_assign(&mut self, v: Variable)

Performs the -= operation. Read more

source

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

source

fn sub_assign(&mut self, v: f32)

Performs the -= operation. Read more

source

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

source

fn sub_assign(&mut self, v: f64)

Performs the -= operation. Read more

source

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

source

fn sub_assign(&mut self, v: i32)

Performs the -= operation. Read more

source

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

source

fn sub_assign(&mut self, v: u32)

Performs the -= operation. Read more

source

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

source

impl<T> StructuralEq for Expression<T>

source

impl<T> StructuralPartialEq for Expression<T>

Auto Trait Implementations

impl<T> RefUnwindSafe for Expression<T> where
T: RefUnwindSafe,

impl<T> Send for Expression<T> where
T: Send,

impl<T> Sync for Expression<T> where
T: Sync,

impl<T> Unpin for Expression<T> where
T: Unpin,

impl<T> UnwindSafe for Expression<T> where
T: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct casuarius::Expression

Fields

Implementations

impl<T: Clone> Expression<T>

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

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

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

pub fn negate(&mut self)

Trait Implementations

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

type Output = Expression<T>

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

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

type Output = Expression<T>

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

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

type Output = Expression<T>

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

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

type Output = Expression<T>

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

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

type Output = Expression<T>

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

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

type Output = Expression<T>

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

impl Add<Expression<Variable>> for Variable

type Output = Expression<Variable>

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

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

type Output = Expression<T>

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

impl Add<Variable> for Expression<Variable>

type Output = Expression<Variable>

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

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

type Output = Expression<T>

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

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

type Output = Expression<T>

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

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

type Output = Expression<T>

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

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

type Output = Expression<T>

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

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

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

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

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

impl AddAssign<Variable> for Expression<Variable>

fn add_assign(&mut self, v: Variable)

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

fn add_assign(&mut self, v: f32)

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

fn add_assign(&mut self, v: f64)

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

fn add_assign(&mut self, v: i32)

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

fn add_assign(&mut self, v: u32)

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

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

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

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

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

type Output = Expression<T>

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

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

type Output = Expression<T>

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

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,

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

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