Trait ShortestPathSemiRing

pub trait ShortestPathSemiRing {
    type T: Clone + Ord;

    // Required methods
    fn source() -> Self::T;
    fn inf() -> Self::T;
    fn mul(x: &Self::T, y: &Self::T) -> Self::T;
    fn add_assign(x: &mut Self::T, y: &Self::T) -> bool;
}

Required Associated Types

type T: Clone + Ord

Required Methods

fn source() -> Self::T

fn inf() -> Self::T

fn mul(x: &Self::T, y: &Self::T) -> Self::T

fn add_assign(x: &mut Self::T, y: &Self::T) -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<M> ShortestPathSemiRing for OptionSp<M>

where M: Monoid, M::T: Ord,

type T = Option<<M as Magma>::T>

impl<M> ShortestPathSemiRing for StandardSp<M>

where M: Monoid, M::T: Bounded + Ord,

type T = <M as Magma>::T

impl<M, S> ShortestPathSemiRing for PathFoldingSp<M, S>

where M: Monoid, M::T: Bounded + Ord, S: SemiRing,

type T = PartialIgnoredOrd<<M as Magma>::T, <S as SemiRing>::T>