Struct lattices::semiring_application::Cost

pub struct Cost(/* private fields */);

Implementation of the Cost/Tropical semiring (N U Inf, min, +, inf, 0)

Implementations

impl Cost

pub fn new(value: U32WithInfinity) -> Self

Create a new instance of Cost.

Trait Implementations

impl Addition<Cost> for Cost

Implementation of the addition trait for Cost semiring.

fn add(&mut self, other: Cost)

Min operation

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

where Self: Sized,

Add this and delta together, returning the new value.

impl Multiplication<Cost> for Cost

Implementation of the multiplication trait for Cost semiring.

fn mul(&mut self, other: Cost)

• operation

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

where Self: Sized,

Multiply this and delta together, returning the new value.

impl One<U32WithInfinity> for Cost

Implementation of Identity for multiplication.

fn one(&self) -> U32WithInfinity

0 is the one element of the semiring.

impl Zero<U32WithInfinity> for Cost

Implementation of Identity for addition.

fn zero(&self) -> U32WithInfinity

Infinity is the identity element for addition operation.