Enum Derivation

#[non_exhaustive]
pub enum Derivation {
    PlanePlaneLine,
    CylinderPlanePerpendicularCircle,
    CylinderPlaneObliqueEllipse,
    SpherePlaneCircle,
    SphereSphereCircle,
    CylinderCylinderSteinmetzEllipses,
    ParallelCylinderLines,
    CylinderPlaneParallelRulings,
    CoaxialRevolutionCircles,
    RuledQuadricSection,
    TorusAngleSection,
    ConeApexRulings,
    ImplicitTrace,
    PairTrace,
}

The closed-form identity behind an exact intersection curve.

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.

PlanePlaneLine

Two non-parallel planes meet in a line along n1 x n2.

CylinderPlanePerpendicularCircle

A plane perpendicular to a cylinder axis cuts a circle of the cylinder’s own radius.

CylinderPlaneObliqueEllipse

A plane oblique to a cylinder axis cuts an ellipse with semi-axes r and r / cos(theta).

SpherePlaneCircle

A plane at signed distance d from a sphere centre cuts a circle of radius sqrt(r^2 - d^2).

SphereSphereCircle

Two spheres meet in a circle in their radical plane.

CylinderCylinderSteinmetzEllipses

Equal-radius cylinders on intersecting axes cut two ellipses.

ParallelCylinderLines

Cylinders with parallel axes meet in one or two axis-parallel lines.

CylinderPlaneParallelRulings

A plane parallel to a cylinder axis cuts one or two rulings.

CoaxialRevolutionCircles

Two coaxial surfaces of revolution meet in circles perpendicular to the shared axis, found by intersecting their meridian profiles.

RuledQuadricSection

A quadric substituted into a ruled carrier (cylinder, elliptical cylinder, or a cone cut by a plane) is quadratic in the ruling parameter at every angle; the curve is a root branch of that quadratic (ADR 0076).

TorusAngleSection

A plane or sphere meets each circle of a torus about its axis where A(v) cos u + B(v) sin u = C(v); the curve is u as a function of the tube angle v (ADR 0076).

ConeApexRulings

A plane through a cone’s apex cuts rays along its rulings, starting at the apex.

ImplicitTrace

The zero set of one surface’s equation read in the other’s parameters, traced into certified monotone cells (ADR 0077): a torus against a cylinder, cone or torus off its axis.

PairTrace

Two B-spline surfaces meet along curves found by splitting Bezier sub-patch pairs until no closed loop can hide in one, seeded where sub-patch edges cross, and followed on both surfaces (ADR 0077).

Trait Implementations

impl Clone for Derivation

fn clone(&self) -> Derivation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Derivation

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

Formats the value using the given formatter.

impl PartialEq for Derivation

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

impl Eq for Derivation

impl StructuralPartialEq for Derivation