Struct CertifiedSurfaceArcs3

pub struct CertifiedSurfaceArcs3 {
    pub regions: Vec<CertifiedRegion>,
    pub visited_patch_pairs: u32,
    pub max_depth_reached: u32,
}

Result of certified curved surface/surface analysis.

Deliberately not an Option-like “answer or nothing”: a curved pair is routinely partly provable, and collapsing that to a single verdict is what loses geometry. The caller gets the transversal regions and the unproven ones together, and can always ask whether the analysis was complete.

Fields

regions: Vec<CertifiedRegion>

Every leaf, in deterministic order, tiling the root box exactly.

visited_patch_pairs: u32

Patch pairs examined.

max_depth_reached: u32

Deepest leaf produced.

Implementations

impl CertifiedSurfaceArcs3

pub fn is_fully_certified(&self) -> bool

Whether every leaf was proven either empty or transversal.

false means part of the domain is still unproven; the regions say which part. Callers that need a total answer must branch on this rather than assuming the arcs are exhaustive.

pub fn unproven(&self) -> impl Iterator<Item = &CertifiedRegion>

Regions that remain unproven, in deterministic order.

Trait Implementations

impl Clone for CertifiedSurfaceArcs3

fn clone(&self) -> CertifiedSurfaceArcs3

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CertifiedSurfaceArcs3

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

Formats the value using the given formatter.

impl PartialEq for CertifiedSurfaceArcs3

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