Enum CertifiedSurfacePairSplit3

#[non_exhaustive]
pub enum CertifiedSurfacePairSplit3 {
    Empty {
        visited_patch_pairs: u32,
        boundary_queries: u32,
    },
    Split(CertifiedTrimmedSurfacePair3),
    DualSplit(CertifiedDualTrimmedSurfacePair3),
    Unresolved {
        intersection: CertifiedSurfaceSurfaceIntersection3,
        reason: SurfacePairSplitUnresolvedReason,
    },
}

Certified topology-integration outcome.

The success payload stays inline deliberately: boxing it would add an infallible allocation after all certified construction allocations have already been made fallible and bounded.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Empty

Conservative proof that the bounded patches do not intersect.

Fields

visited_patch_pairs: u32

Certified patch pairs processed.

boundary_queries: u32

Bounded boundary queries used.

Split(CertifiedTrimmedSurfacePair3)

One finite trace integrated into a strict trimmed arrangement.

DualSplit(CertifiedDualTrimmedSurfacePair3)

A chord that partitions BOTH patches, so each becomes two faces.

Distinct from Self::Split because there is no unsplit face and no embedded curve: the chord is a real trim boundary on both sides, not an interior annotation on one. Representing it as Split would force naming one patch the ‘owner’ and lying about the other.

Unresolved

Geometry remains usable, but no B-rep split was invented.

Fields

intersection: CertifiedSurfaceSurfaceIntersection3

Original intersection evidence retained without widening.

reason: SurfacePairSplitUnresolvedReason

Topology-specific refusal reason.

Trait Implementations

impl Clone for CertifiedSurfacePairSplit3

fn clone(&self) -> CertifiedSurfacePairSplit3

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CertifiedSurfacePairSplit3

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

Formats the value using the given formatter.

impl PartialEq for CertifiedSurfacePairSplit3

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