Struct lattices::semiring_application::Multiplicity

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

Implementation of the Multiplicity semiring (N, +, *, 0, 1)

Implementations

impl Multiplicity

pub fn new(value: u32) -> Self

Create a new instance of Multiplicity.

Trait Implementations

impl Addition<Multiplicity> for Multiplicity

Implementation of the addition trait for Multiplicity semiring.

fn add(&mut self, other: Multiplicity)

• operation

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

where Self: Sized,

Add this and delta together, returning the new value.

impl Multiplication<Multiplicity> for Multiplicity

Implementation of the multiplication trait for Multiplicity semiring.

fn mul(&mut self, other: Multiplicity)

• operation

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

where Self: Sized,

Multiply this and delta together, returning the new value.

impl One<u32> for Multiplicity

Implementation of Identity for multiplication.

fn one(&self) -> u32

1 is the one element of the semiring.

impl Zero<u32> for Multiplicity

Implementation of Identity for addition.

fn zero(&self) -> u32

0 is the zero element of the semiring.