Struct IntRing 

pub struct IntRing(pub i64);

The ring of i64 under saturating + and *.

Tuple Fields

0: i64

Trait Implementations

impl Clone for IntRing

fn clone(&self) -> IntRing

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IntRing

impl Debug for IntRing

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

Formats the value using the given formatter.

impl Eq for IntRing

impl PartialEq for IntRing

fn eq(&self, other: &IntRing) -> bool

Equality operator ==.

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

Inequality operator !=.

impl Semiring for IntRing

fn zero() -> Self

The additive identity, also meaning “no value” / “no path”.

fn one() -> Self

The multiplicative identity.

fn add(&self, other: &Self) -> Self

Combine two alternatives.

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

Chain two values in sequence.

fn is_zero(&self) -> bool

Whether this value is the additive identity.

fn star(&self) -> Option<Self>

The Kleene star 1 + a + a^2 + ... when it converges, else None.

impl StructuralPartialEq for IntRing