Enum lattices::semiring_application::U32WithInfinity

pub enum U32WithInfinity {
    Infinity,
    Finite(u32),
}

Implementation for N U Inf

Variants

Infinity

Infinity

Finite(u32)

Natural numbers

Trait Implementations

impl Clone for U32WithInfinity

fn clone(&self) -> U32WithInfinity

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for U32WithInfinity

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

Formats the value using the given formatter.

impl One<U32WithInfinity> for Cost

Implementation of Identity for multiplication.

fn one(&self) -> U32WithInfinity

0 is the one element of the semiring.

impl PartialEq for U32WithInfinity

fn eq(&self, other: &U32WithInfinity) -> 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 Zero<U32WithInfinity> for Cost

Implementation of Identity for addition.

fn zero(&self) -> U32WithInfinity

Infinity is the identity element for addition operation.

impl Copy for U32WithInfinity

impl Eq for U32WithInfinity

impl StructuralPartialEq for U32WithInfinity