Struct Term 

pub struct Term<Coeff, Var>(/* private fields */);

Trait Implementations

impl<Coeff1, Var1, Coeff2, Var2> DynMax<Term<Coeff2, Var2>> for Term<Coeff1, Var1>

where (Coeff1, Coeff2): Max, Var1: DynMax<Var2>,

type Out = Term<<(Coeff1, Coeff2) as Max>::Out, <Var1 as DynMax<Var2>>::Out>

impl<Coeff1, Var1, U, B> DynMax<UInt<U, B>> for Term<Coeff1, Var1>

type Out = Term<Coeff1, Var1>

impl<Coeff1, Var1, Coeff2, Var2> DynMul<Term<Coeff2, Var2>> for Term<Coeff1, Var1>

where (Coeff1, Coeff2): Mul, Var1: DynMul<Var2>,

type Out = Term<<(Coeff1, Coeff2) as Mul>::Out, <Var1 as DynMul<Var2>>::Out>

impl<Coeff, Var, U, B> DynMul<UInt<U, B>> for Term<Coeff, Var>

where (Coeff, UInt<U, B>): Mul,

type Out = Term<<(Coeff, UInt<U, B>) as Mul>::Out, Var>

impl<Coeff, Var> Dynamic for Term<Coeff, Var>

where Coeff: DecimalDiagnostic,

type Label = (<Coeff as DecimalDiagnostic>::Out, Var)

impl<Coeff, Var> IsDynEqual<Any> for Term<Coeff, Var>

type Out = True

impl<Coeff1, Var1, Coeff2, Var2> IsDynEqual<Term<Coeff2, Var2>> for Term<Coeff1, Var1>

where (Coeff1, Coeff2): IsEqual, Var1: IsDynEqual<Var2>, (<(Coeff1, Coeff2) as IsEqual>::Out, <Var1 as IsDynEqual<Var2>>::Out): And,

type Out = <(<(Coeff1, Coeff2) as IsEqual>::Out, <Var1 as IsDynEqual<Var2>>::Out) as And>::Out

impl<Coeff, Var, U, B> IsDynEqual<UInt<U, B>> for Term<Coeff, Var>

type Out = True

impl<Coeff, Var, T> IsDynGreater<T> for Term<Coeff, Var>

type Out = True

impl<Coeff, Var, T> IsDynLess<T> for Term<Coeff, Var>

type Out = True