Struct RealF64 

pub struct RealF64(pub f64);

Real semiring: add is +, mul is *, zero is 0.0, one is 1.0.

Equality is the underlying f64 equality (so NaN is never equal to itself); algorithm fixtures should avoid NaN. RealF64::total_cmp provides a total order for matrix algorithms that pivot or sort.

Tuple Fields

0: f64

Implementations

impl RealF64

pub fn new(value: f64) -> Self

Wrap a raw f64.

pub fn total_cmp(&self, other: &Self) -> Ordering

A total order over all f64 values (including NaN and signed zero), delegating to f64::total_cmp.

Trait Implementations

impl Clone for RealF64

fn clone(&self) -> RealF64

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RealF64

impl Debug for RealF64

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

Formats the value using the given formatter.

impl PartialEq for RealF64

fn eq(&self, other: &RealF64) -> bool

Equality operator ==.

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

Inequality operator !=.

impl Semiring for RealF64

fn zero() -> Self

The additive identity, also meaning “no value” / “no path”.

fn one() -> Self

The multiplicative identity.

fn add(&self, other: &Self) -> Self

Combine two alternatives.

fn mul(&self, other: &Self) -> Self

Chain two values in sequence.

fn is_zero(&self) -> bool

Whether this value is the additive identity.

fn star(&self) -> Option<Self>

The Kleene star 1 + a + a^2 + ... when it converges, else None.

impl StructuralPartialEq for RealF64