Struct GeodesicCertificate 

pub struct GeodesicCertificate<F> {
    pub bound_asserted: bool,
    pub search_exhaustive: bool,
    pub straightening_result: StraighteningResult<F>,
}

Evidence describing whether a returned Geodesic is globally minimal.

Each field records one logically independent obligation of the branch-and-bound search. GeodesicCertificate::is_global is true exactly when all three obligations are satisfied.

Fields

bound_asserted: bool

An overestimation_bound was asserted. Without one, the ceiling is graph_opt and exactly one basin is inspected. Fix: assert a bound.

search_exhaustive: bool

The search terminated by clearing its ceiling, not by exhausting max_candidate_paths or the frontier. Fix: raise the caps.

straightening_result: StraighteningResult<F>

Every candidate examined straightened. A failure here is the rescue budget running out — 2ρ reaching for the injectivity radius. Fix: raise max_rescues.

Implementations

impl<F> GeodesicCertificate<F>

pub fn is_global(&self) -> bool

Returns whether this certificate proves global minimality.

Trait Implementations

impl<F: Clone> Clone for GeodesicCertificate<F>

fn clone(&self) -> GeodesicCertificate<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Copy> Copy for GeodesicCertificate<F>

impl<F: Debug> Debug for GeodesicCertificate<F>

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

Formats the value using the given formatter.

impl<F: Eq> Eq for GeodesicCertificate<F>

impl<F: PartialEq> PartialEq for GeodesicCertificate<F>

fn eq(&self, other: &GeodesicCertificate<F>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<F: PartialEq> StructuralPartialEq for GeodesicCertificate<F>