Struct ExactIntersectionCurve

#[non_exhaustive]
pub struct ExactIntersectionCurve {
    pub branches: Vec<Curve3>,
    pub derivation: Derivation,
    pub spans: Vec<Option<Interval>>,
}

The exact intersection curve of two elementary surfaces, when one exists in closed form.

Returns the curve together with the identity used to derive it, so a caller can record provenance rather than re-deriving trust.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

branches: Vec<Curve3>

The branches of the intersection, in deterministic order.

Usually one, but several elementary pairs genuinely meet in TWO disjoint components: equal-radius cylinders on intersecting axes cut two ellipses, and parallel cylinders cut two lines. Returning a single curve would have forced this code to pick one and discard the other, which is exactly the silent geometry loss the rest of this module refuses to do. Exact: every coordinate comes from the operands’ own numbers through the stated identity, never from a fit.

derivation: Derivation

Which closed-form identity produced branches.

spans: Vec<Option<Interval>>

The parameter span each branch exists on, aligned with branches: None for a curve defined on its whole natural domain (a line, a full circle or ellipse), Some for a piece of a ruled section (ADR 0076), which exists only where its discriminant is not negative. Two pieces over one span join at both ends into a loop.

Implementations

impl ExactIntersectionCurve

pub fn single(&self) -> &Curve3

The sole branch, when the caller expects exactly one.

Panics when there are several: a caller that assumes one branch and silently sees only the first would lose geometry, so this fails loudly instead.

Trait Implementations

impl Clone for ExactIntersectionCurve

fn clone(&self) -> ExactIntersectionCurve

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExactIntersectionCurve

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

Formats the value using the given formatter.

impl PartialEq for ExactIntersectionCurve

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