Struct TropicalBitwise 

#[repr(transparent)]
pub struct TropicalBitwise<T: BitwiseScalar>(pub T);

TropicalBitwise semiring: (uint, |, &, 0, ~0) — bit-packed boolean.

Each bit-lane of the wrapped word is an independent boolean problem (bit-slicing): one GEMM computes 32 (u32) or 64 (u64) boolean matmuls at once. ⊕ = |, ⊗ = &, zero = 0, one = !0.

CPU dispatch uses AVX2 or NEON where available, with a portable fallback. There is no single argmax index for a packed word: each bit lane can have a different winner. Per-lane argmax is not implemented, so this type does not implement TropicalWithArgmax.

This is for many independent dense boolean problems. For a single large (sparse) boolean graph, use a sparse GraphBLAS tool (GraphBLAST / cuBool / Bit-GraphBLAS) — that is out of scope for this dense library.

Tuple Fields

0: T

Implementations

impl<T: BitwiseScalar> TropicalBitwise<T>

pub fn new(value: T) -> Self

Create a new TropicalBitwise value from a packed word.

Trait Implementations

impl<T: BitwiseScalar> Add for TropicalBitwise<T>

type Output = TropicalBitwise<T>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<T: Clone + BitwiseScalar> Clone for TropicalBitwise<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Copy + BitwiseScalar> Copy for TropicalBitwise<T>

impl<T: BitwiseScalar> Debug for TropicalBitwise<T>

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

Formats the value using the given formatter.

impl<T: BitwiseScalar> Default for TropicalBitwise<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: BitwiseScalar> Display for TropicalBitwise<T>

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

Formats the value using the given formatter.

impl<T: Eq + BitwiseScalar> Eq for TropicalBitwise<T>

impl<T: BitwiseScalar> From<T> for TropicalBitwise<T>

fn from(value: T) -> Self

Converts to this type from the input type.

impl KernelDispatch for TropicalBitwise<u32>

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.

unsafe fn dispatch_gemm_with_workspace( m: usize, n: usize, k: usize, a: *const u32, lda: usize, trans_a: Transpose, b: *const u32, ldb: usize, trans_b: Transpose, c: *mut Self, ldc: usize, workspace: &mut GemmWorkspace<u32>, )

Dispatch using reusable packing storage. Custom implementations retain their existing dispatch unless they override this method to use workspace.

impl KernelDispatch for TropicalBitwise<u64>

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.

unsafe fn dispatch_gemm_with_workspace( m: usize, n: usize, k: usize, a: *const u64, lda: usize, trans_a: Transpose, b: *const u64, ldb: usize, trans_b: Transpose, c: *mut Self, ldc: usize, workspace: &mut GemmWorkspace<u64>, )

Dispatch using reusable packing storage. Custom implementations retain their existing dispatch unless they override this method to use workspace.

impl<T: BitwiseScalar> Mul for TropicalBitwise<T>

type Output = TropicalBitwise<T>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<T: PartialEq + BitwiseScalar> PartialEq for TropicalBitwise<T>

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

const SIMD_AVAILABLE: bool = true

Whether SIMD operations are available for this type.

const SIMD_WIDTH: usize

The SIMD width in elements.

impl<T: PartialEq + BitwiseScalar> StructuralPartialEq for TropicalBitwise<T>

impl<T: BitwiseScalar> TropicalSemiring for TropicalBitwise<T>

type Scalar = T

The underlying scalar type.

fn scalar_slice(values: &[Self]) -> Option<&[Self::Scalar]>

Borrow scalar storage when the representation permits it. The default uses a cached value projection in owned matrix views.

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.