Struct MaxPlus 

#[repr(transparent)]
pub struct MaxPlus<T>(pub T);

Max-plus tropical scalar: ⊕ = max, ⊗ = +.

The most common tropical semiring, used for shortest-path and optimal-alignment problems. Wraps any ordered numeric type T.

Examples

use tenferro_tropical::MaxPlus;

let a = MaxPlus(3.0_f64);
let b = MaxPlus(5.0_f64);

// Tropical addition = max
let c = a + b;   // MaxPlus(5.0)

// Tropical multiplication = ordinary addition
let d = a * b;   // MaxPlus(8.0)

Tuple Fields

0: T

Trait Implementations

impl<T: Copy + PartialOrd> Add for MaxPlus<T>

fn add(self, _rhs: Self) -> Self

Tropical addition: max(a, b).

type Output = MaxPlus<T>

The resulting type after applying the + operator.

impl<T: Clone> Clone for MaxPlus<T>

fn clone(&self) -> MaxPlus<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for MaxPlus<T>

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

Formats the value using the given formatter.

impl<T: Display> Display for MaxPlus<T>

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

Formats the value using the given formatter.

impl HasAlgebra for MaxPlus<f32>

type Algebra = MaxPlusAlgebra

The algebra associated with this scalar type.

impl HasAlgebra for MaxPlus<f64>

type Algebra = MaxPlusAlgebra

The algebra associated with this scalar type.

impl<T: Copy + Add<Output = T>> Mul for MaxPlus<T>

fn mul(self, _rhs: Self) -> Self

Tropical multiplication: a + b (ordinary addition).

type Output = MaxPlus<T>

The resulting type after applying the * operator.

impl<T: Float> One for MaxPlus<T>

fn one() -> Self

Multiplicative identity: 0.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool

where Self: PartialEq,

Returns true if self is equal to the multiplicative identity.

impl<T: PartialEq> PartialEq for MaxPlus<T>

fn eq(&self, other: &MaxPlus<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: PartialOrd> PartialOrd for MaxPlus<T>

fn partial_cmp(&self, other: &MaxPlus<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T: Float> Zero for MaxPlus<T>

fn zero() -> Self

Additive identity: −∞ (negative infinity).

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl<T: Copy> Copy for MaxPlus<T>

impl<T> StructuralPartialEq for MaxPlus<T>