Enum CertifiedCurveIntersection2

#[non_exhaustive]
pub enum CertifiedCurveIntersection2 {
    Complete {
        intersections: Vec<TransverseCurveIntersection2>,
        visited_nodes: u32,
    },
    Degenerate {
        classification: CurveIntersectionDegeneracy,
        contacts: Vec<ClassifiedCurveContact2>,
        visited_nodes: u32,
    },
}

Planar curve/curve classification under the implemented proof paths.

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.

Complete

Every product-domain cell was excluded or represented by one transverse root. Each returned parameter interval is no wider than the requested tolerance.

Fields

intersections: Vec<TransverseCurveIntersection2>

Isolated transverse roots. Empty means certified disjointness.

visited_nodes: u32

Generated root cells inspected by the classifier.

Degenerate

A singular or currently unsupported candidate was not called transverse.

Fields

classification: CurveIntersectionDegeneracy

Strongest class proven across contacts.

Precedence is Overlap > Tangency > PointContact > Unresolved: a caller that only wants one verdict gets the most structural one, while contacts retains which box proved what.

contacts: Vec<ClassifiedCurveContact2>

Per-box classification. Boxes are deduplicated and boundary-owned, so a root on a shared cell endpoint appears exactly once.

visited_nodes: u32

Generated root cells inspected by the classifier.

Trait Implementations

impl Clone for CertifiedCurveIntersection2

fn clone(&self) -> CertifiedCurveIntersection2

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CertifiedCurveIntersection2

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

Formats the value using the given formatter.

impl PartialEq for CertifiedCurveIntersection2

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