Struct Mono 

pub struct Mono<Id> { /* private fields */ }

Represents a type-level, signed dyadic monoterm, eg: 3* a * b^2 * c^3 * 2^(d+e+f+2) -2 * x * 2^y

Implementations

impl<Id: Ord> Mono<Id>

pub fn lit(mult: i32) -> Self

where Id: Ord,

pub fn var(v: Id) -> Self

where Id: Ord,

pub fn term(v: Id, exp: u8) -> Self

pub fn bin(b: Bin<Id>) -> Self

where Id: Ord,

pub fn log2(i: i32) -> Self

pub fn neg(self) -> Self

pub fn double(self) -> Self

where Id: Clone,

Doubling a term

pub fn half(self) -> Option<Self>

Halving a term could fail (ex: 3a^22^c)

pub fn div_bin(&self, other: &Bin<Id>) -> (Self, Bin<Id>)

where Id: Clone,

Division by a bin (with remainder)

Trait Implementations

impl<T: Ord + Clone> Add<&Mono<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the + operator.

fn add(self, other: &Mono<T>) -> Self::Output

Performs the + operation.

impl<T: Ord + Clone> Add<Mono<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the + operator.

fn add(self, other: Mono<T>) -> Self::Output

Performs the + operation.

impl<T: Ord + Clone> AddAssign<Mono<T>> for Dyadic<T>

Addition of dyadic numbers

fn add_assign(&mut self, other: Mono<T>)

Performs the += operation.

impl<Id: Clone> Clone for Mono<Id>

fn clone(&self) -> Mono<Id>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Id: Debug> Debug for Mono<Id>

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

Formats the value using the given formatter.

impl<T: Ord> Default for Mono<T>

fn default() -> Self

Returns the “default value” for a type.

impl<'a, T> Display for Mono<T>

where T: Pretty<'a, BoxAllocator, ()> + Clone + Ord,

Display instance calls the pretty printer

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

Formats the value using the given formatter.

impl<'a> From<&'a str> for Mono<&'a str>

fn from(s: &'a str) -> Self

Converts to this type from the input type.

impl<T: Ord> From<Bin<T>> for Mono<T>

fn from(b: Bin<T>) -> Self

Converts to this type from the input type.

impl<T: Ord> From<i32> for Mono<T>

fn from(l: i32) -> Self

Converts to this type from the input type.

impl<Id: Hash> Hash for Mono<Id>

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: Ord + Clone> Mul<&Bin<T>> for &Mono<T>

type Output = Mono<T>

The resulting type after applying the * operator.

fn mul(self, other: &Bin<T>) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul<&Mono<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the * operator.

fn mul(self, other: &Mono<T>) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul<Bin<T>> for Mono<T>

type Output = Mono<T>

The resulting type after applying the * operator.

fn mul(self, other: Bin<T>) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul<Mono<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the * operator.

fn mul(self, other: Mono<T>) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul<i32> for Mono<T>

type Output = Mono<T>

The resulting type after applying the * operator.

fn mul(self, other: i32) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul for &Mono<T>

type Output = Mono<T>

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self::Output

Performs the * operation.

impl<T: Ord + Clone> Mul for Mono<T>

type Output = Mono<T>

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self::Output

Performs the * operation.

impl<T: Ord> MulAssign<Bin<T>> for Mono<T>

Multiplication of monoterms to bin [normalizes]

fn mul_assign(&mut self, other: Bin<T>)

Performs the *= operation.

impl<T: Ord + Clone> MulAssign<Mono<T>> for Dyadic<T>

Multiplication of dyadic numbers

fn mul_assign(&mut self, other: Mono<T>)

Performs the *= operation.

impl<T: Ord> MulAssign<i32> for Mono<T>

Multiplication of monoterms to integers [normalizes]

fn mul_assign(&mut self, other: i32)

Performs the *= operation.

impl<T: Ord> MulAssign for Mono<T>

Multiplication of monoterms [normalizes]

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

impl<T: Ord> Normalizable for Mono<T>

fn normalize(&mut self)

fn is_normal(&self) -> bool

where Self: Clone + Eq,

Check if it is in normal form by syntactic equality

fn eqn(&self, other: &Self) -> bool

where Self: Eq + Clone,

Equality modulo normalization

impl<Id: Ord> Ord for Mono<Id>

fn cmp(&self, other: &Mono<Id>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<Id: PartialEq> PartialEq for Mono<Id>

fn eq(&self, other: &Mono<Id>) -> 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<Id: PartialOrd> PartialOrd for Mono<Id>

fn partial_cmp(&self, other: &Mono<Id>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<'a, D, A, T> Pretty<'a, D, A> for Mono<T>

where D: DocAllocator<'a, A>, T: Pretty<'a, D, A> + Clone + Ord, D::Doc: Clone, A: 'a + Clone,

fn pretty(self, allocator: &'a D) -> DocBuilder<'a, D, A>

Converts self into a document

impl<T: Display + Ord + Clone> Specializable<T, u8> for Mono<T>

fn specialize(&mut self, id: &T, val: u8)

fn free_vars(&self) -> Set<&T>

fn is_closed(&self) -> bool

where T: Ord,

fn specialize_all(&mut self, ctx: Ctx<T, V>)

where T: Ord + Clone, V: Clone, Self: Sized,

impl<T: Ord + Clone> Sub<&Mono<T>> for &Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the - operator.

fn sub(self, other: &Mono<T>) -> Self::Output

Performs the - operation.

impl<T: Ord + Clone> Sub<Mono<T>> for Dyadic<T>

type Output = Dyadic<T>

The resulting type after applying the - operator.

fn sub(self, other: Mono<T>) -> Self::Output

Performs the - operation.

impl<T: Ord + Clone> SubAssign<Mono<T>> for Dyadic<T>

Subtraction of dyadic numbers

fn sub_assign(&mut self, other: Mono<T>)

Performs the -= operation.

impl<Id: Eq> Eq for Mono<Id>

impl<Id> StructuralPartialEq for Mono<Id>