Struct TropicalAndOr 

#[repr(transparent)]
pub struct TropicalAndOr(pub bool);

TropicalAndOr semiring: ({true, false}, OR, AND)

• Addition (⊕) = OR (logical disjunction)
• Multiplication (⊗) = AND (logical conjunction)
• Zero = false
• One = true

This is used for:

• Boolean matrix multiplication (transitive closure)
• Graph reachability
• SAT-related computations

Tuple Fields

0: bool

Implementations

impl TropicalAndOr

pub fn new(value: bool) -> Self

Create a new TropicalAndOr value.

Trait Implementations

impl Add for TropicalAndOr

type Output = TropicalAndOr

The resulting type after applying the + operator.

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

Performs the + operation.

impl Clone for TropicalAndOr

fn clone(&self) -> TropicalAndOr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TropicalAndOr

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

Formats the value using the given formatter.

impl Default for TropicalAndOr

fn default() -> Self

Returns the “default value” for a type.

impl Display for TropicalAndOr

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

Formats the value using the given formatter.

impl From<bool> for TropicalAndOr

fn from(value: bool) -> Self

Converts to this type from the input type.

impl Mul for TropicalAndOr

type Output = TropicalAndOr

The resulting type after applying the * operator.

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

Performs the * operation.

impl PartialEq for TropicalAndOr

fn eq(&self, other: &TropicalAndOr) -> 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 SimdTropical for TropicalAndOr

const SIMD_AVAILABLE: bool = true

Whether SIMD operations are available for this type.

const SIMD_WIDTH: usize = 256

The SIMD width in elements.

impl TropicalSemiring for TropicalAndOr

type Scalar = bool

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) -> bool

Get the underlying scalar value.

fn from_scalar(s: bool) -> Self

Create from a scalar value.

impl TropicalWithArgmax for TropicalAndOr

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 Copy for TropicalAndOr

impl Eq for TropicalAndOr

impl StructuralPartialEq for TropicalAndOr