Enum RealSignCertificate 

pub enum RealSignCertificate {
    StructuralFacts,
    ExactZeroScale,
    BoundedRefinement {
        min_precision: i32,
    },
}

Source of a certified RealSign decision.

The variants describe how a sign was proved, not how expensive the proof was in wall-clock time. Keeping this source visible is important for exact geometric computation: downstream predicate crates can distinguish cheap object facts from bounded refinement without treating lossy primitive-float approximations as topology. See Yap, “Towards Exact Geometric Computation,” Computational Geometry 7.1-2 (1997), and Boehm et al., “Exact Real Arithmetic: A Case Study in Higher Order Programming,” Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming.

Variants

StructuralFacts

The sign followed from cheap structural facts already carried by Real.

ExactZeroScale

The rational scale of the value is exactly zero.

BoundedRefinement

A bounded exact-real refinement proved the sign.

The min_precision value is the caller’s refinement floor. It is not a primitive-float tolerance; it is the explicit precision bound for the exact-real approximation/refinement machinery.

Fields

min_precision: i32

Lowest binary precision the proof was allowed to request.

Trait Implementations

impl Clone for RealSignCertificate

fn clone(&self) -> RealSignCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RealSignCertificate

impl Debug for RealSignCertificate

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

Formats the value using the given formatter.

impl Eq for RealSignCertificate

impl PartialEq for RealSignCertificate

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