pub trait TropicalSemiring {
// Required methods
fn tropical_zero() -> Self;
fn tropical_one() -> Self;
fn tropical_add(&self, other: &Self) -> Self;
fn tropical_mul(&self, other: &Self) -> Self;
}Expand description
Trait for tropical semiring operations
Required Methods§
Sourcefn tropical_zero() -> Self
fn tropical_zero() -> Self
Tropical zero element
Sourcefn tropical_one() -> Self
fn tropical_one() -> Self
Tropical one element
Sourcefn tropical_add(&self, other: &Self) -> Self
fn tropical_add(&self, other: &Self) -> Self
Tropical addition (max for max-plus, min for min-plus)
Sourcefn tropical_mul(&self, other: &Self) -> Self
fn tropical_mul(&self, other: &Self) -> Self
Tropical multiplication (ordinary addition)
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.