Struct Term 

pub struct Term<T> {
    pub variable: T,
    pub coefficient: OrderedFloat<f64>,
}

A variable and a coefficient to multiply that variable by. This is a sub-expression in a constraint equation.

Fields

variable: T

coefficient: OrderedFloat<f64>

Implementations

impl<T> Term<T>

pub fn new(variable: T, coefficient: f64) -> Term<T>

Construct a new Term from a variable and a coefficient.

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<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<T: Clone> Add<Term<T>> for f32

type Output = Expression<T>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<T: Clone> Add<Term<T>> for f64

type Output = Expression<T>

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Term<Variable>> for Variable

type Output = Expression<Variable>

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Variable> for Term<Variable>

type Output = Expression<Variable>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<T: Clone> Add<f32> for Term<T>

type Output = Expression<T>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<T: Clone> Add<f64> for Term<T>

type Output = Expression<T>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<T: Clone> Add for Term<T>

type Output = Expression<T>

The resulting type after applying the + operator.

fn add(self, t: Term<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<T: Clone> Clone for Term<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Term<T>

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

Formats the value using the given formatter.

impl<T> Div<f32> for Term<T>

type Output = Term<T>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<T> Div<f64> for Term<T>

type Output = Term<T>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<T> DivAssign<f32> for Term<T>

fn div_assign(&mut self, v: f32)

Performs the /= operation.

impl<T> DivAssign<f64> for Term<T>

fn div_assign(&mut self, v: f64)

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<T: Hash> Hash for Term<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> Mul<Term<T>> for f32

type Output = Term<T>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<T> Mul<Term<T>> for f64

type Output = Term<T>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<T> Mul<f32> for Term<T>

type Output = Term<T>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<T> Mul<f64> for Term<T>

type Output = Term<T>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<T> MulAssign<f32> for Term<T>

fn mul_assign(&mut self, v: f32)

Performs the *= operation.

impl<T> MulAssign<f64> for Term<T>

fn mul_assign(&mut self, v: f64)

Performs the *= operation.

impl<T> Neg for Term<T>

type Output = Term<T>

The resulting type after applying the - operator.

fn neg(self) -> Term<T>

Performs the unary - operation.

impl<T: PartialEq> PartialEq for Term<T>

fn eq(&self, other: &Term<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> 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<T: Clone> Sub<Term<T>> for f32

type Output = Expression<T>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Expression<T>

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Term<Variable>> for Variable

type Output = Expression<Variable>

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Variable> for Term<Variable>

type Output = Expression<Variable>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Expression<T>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Expression<T>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Expression<T>

The resulting type after applying the - operator.

fn sub(self, t: Term<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<T: Copy> Copy for Term<T>

impl<T: Eq> Eq for Term<T>

impl<T> StructuralPartialEq for Term<T>