Enum RealExactSetSignPattern 

pub enum RealExactSetSignPattern {
    Empty,
    AllZero,
    AllPositive,
    AllNegative,
    MixedKnown,
    Unknown,
}

Conservative sign pattern for a borrowed set of Real values.

This is a scheduling hint, not a predicate result. It lets vector, matrix, and predicate code select sparse or same-sign arithmetic packages when the signs are already structurally certified, while unknown values remain explicit. The boundary follows Yap’s EGC model: preserve cheap object facts and defer topological decisions to exact predicates.

Variants

Empty

The borrowed set was empty.

AllZero

Every value is structurally known to be exactly zero.

AllPositive

Every value is structurally known to be strictly positive.

AllNegative

Every value is structurally known to be strictly negative.

MixedKnown

All signs are known and the set contains more than one sign class.

Unknown

At least one value has unknown sign or zero status.

Trait Implementations

impl Clone for RealExactSetSignPattern

fn clone(&self) -> RealExactSetSignPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RealExactSetSignPattern

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

Formats the value using the given formatter.

impl PartialEq for RealExactSetSignPattern

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

impl Eq for RealExactSetSignPattern

impl StructuralPartialEq for RealExactSetSignPattern