Struct ProductTerm2Facts 

pub struct ProductTerm2Facts {
    pub factor_zero: [ZeroStatus; 2],
    pub term_zero: ZeroStatus,
}

Cheap zero facts for one pairwise product left * right.

This records only structural zero knowledge for the product term. It does not simplify symbolic expressions, compare magnitudes, or decide signs.

Fields

factor_zero: [ZeroStatus; 2]

Zero status for the two product factors.

term_zero: ZeroStatus

Zero status for the product term itself.

Implementations

impl ProductTerm2Facts

pub const fn known_zero(self) -> bool

Return whether the product term is known to be exactly zero.

pub const fn known_nonzero(self) -> bool

Return whether the product term is known not to be zero.

pub const fn unknown_zero(self) -> bool

Return whether the product term zero status is unknown.

Trait Implementations

impl Clone for ProductTerm2Facts

fn clone(&self) -> ProductTerm2Facts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ProductTerm2Facts

impl Debug for ProductTerm2Facts

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

Formats the value using the given formatter.

impl Eq for ProductTerm2Facts

impl PartialEq for ProductTerm2Facts

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