Struct TropicalMinPlus 

#[repr(transparent)]
pub struct TropicalMinPlus<T: TropicalScalar>(pub T);

TropicalMinPlus semiring: (ℝ ∪ {+∞}, min, +)

• Addition (⊕) = min
• Multiplication (⊗) = +
• Zero = +∞
• One = 0

This is used for:

• Shortest path algorithms (Dijkstra, Floyd-Warshall)
• Dynamic programming with minimum cost

Tuple Fields

0: T

Implementations

impl<T: TropicalScalar> TropicalMinPlus<T>

pub fn new(value: T) -> Self

Create a new TropicalMinPlus value.

Trait Implementations

impl<T: TropicalScalar> Add for TropicalMinPlus<T>

type Output = TropicalMinPlus<T>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl<T: Clone + TropicalScalar> Clone for TropicalMinPlus<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: TropicalScalar> Debug for TropicalMinPlus<T>

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

Formats the value using the given formatter.

impl<T: TropicalScalar> Default for TropicalMinPlus<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: TropicalScalar> Display for TropicalMinPlus<T>

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

Formats the value using the given formatter.

impl<T: TropicalScalar> From<T> for TropicalMinPlus<T>

fn from(value: T) -> Self

Converts to this type from the input type.

impl KernelDispatch for TropicalMinPlus<f32>

unsafe fn dispatch_gemm( m: usize, n: usize, k: usize, a: *const f32, lda: usize, trans_a: Transpose, b: *const f32, ldb: usize, trans_b: Transpose, c: *mut Self, ldc: usize, )

Dispatch to the appropriate kernel based on CPU features.

impl KernelDispatch for TropicalMinPlus<f64>

unsafe fn dispatch_gemm( m: usize, n: usize, k: usize, a: *const Self::Scalar, lda: usize, trans_a: Transpose, b: *const Self::Scalar, ldb: usize, trans_b: Transpose, c: *mut Self, ldc: usize, )

Dispatch to the appropriate kernel based on CPU features.

impl KernelDispatch for TropicalMinPlus<i32>

unsafe fn dispatch_gemm( m: usize, n: usize, k: usize, a: *const Self::Scalar, lda: usize, trans_a: Transpose, b: *const Self::Scalar, ldb: usize, trans_b: Transpose, c: *mut Self, ldc: usize, )

Dispatch to the appropriate kernel based on CPU features.

impl KernelDispatch for TropicalMinPlus<i64>

unsafe fn dispatch_gemm( m: usize, n: usize, k: usize, a: *const Self::Scalar, lda: usize, trans_a: Transpose, b: *const Self::Scalar, ldb: usize, trans_b: Transpose, c: *mut Self, ldc: usize, )

Dispatch to the appropriate kernel based on CPU features.

impl Microkernel<TropicalMinPlus<f32>> for Avx2MinPlusF32Kernel

const MR: usize = 8

Rows of the microkernel (typically 4-8 for f32).

const NR: usize = 8

Columns of the microkernel (typically 4-8 for f32).

unsafe fn execute( &self, mr: usize, nr: usize, k: usize, a: *const f32, b: *const f32, c: *mut TropicalMinPlus<f32>, ldc: usize, )

Execute the microkernel.

impl<T: TropicalScalar> Mul for TropicalMinPlus<T>

type Output = TropicalMinPlus<T>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl<T: PartialEq + TropicalScalar> PartialEq for TropicalMinPlus<T>

fn eq(&self, other: &TropicalMinPlus<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: TropicalScalar> SimdTropical for TropicalMinPlus<T>

const SIMD_AVAILABLE: bool = true

Whether SIMD operations are available for this type.

const SIMD_WIDTH: usize = 8

The SIMD width in elements.

impl<T: TropicalScalar> TropicalSemiring for TropicalMinPlus<T>

type Scalar = T

The underlying scalar type.

fn tropical_zero() -> Self

Returns the additive identity (zero element for ⊕).

fn tropical_one() -> Self

Returns the multiplicative identity (one element for ⊗).

fn tropical_add(self, rhs: Self) -> Self

Tropical addition (⊕).

fn tropical_mul(self, rhs: Self) -> Self

Tropical multiplication (⊗).

fn value(&self) -> T

Get the underlying scalar value.

fn from_scalar(s: T) -> Self

Create from a scalar value.

impl<T: TropicalScalar> TropicalWithArgmax for TropicalMinPlus<T>

type Index = u32

The index type used for argmax tracking.

fn tropical_add_argmax( self, self_idx: u32, rhs: Self, rhs_idx: u32, ) -> (Self, u32)

Tropical addition with argmax tracking.

impl<T: Copy + TropicalScalar> Copy for TropicalMinPlus<T>

impl<T: TropicalScalar> StructuralPartialEq for TropicalMinPlus<T>