Enum RegionKind

pub enum RegionKind {
    Empty,
    Transversal,
    Tangential,
    BudgetExhausted,
}

What was certified about one leaf region of the parameter domain.

Every leaf carries exactly one kind. A caller that treats Self::Transversal as “the answer” and ignores the rest is reading an incomplete result, which is why the unproven kinds carry their own located boxes rather than being folded into a count.

Variants

Empty

Proven to contain no intersection: the patch bounding boxes are disjoint in at least one coordinate.

Transversal

Proven transversal: |n1 x n2| is bounded strictly away from zero, so any intersection here is a regular curve, never a surface patch or an isolated tangential touch.

Tangential

Not proven transversal, and shrinking the cell will not help.

The surfaces are tangent, near-tangent, or coincident somewhere in this box. This is a located refusal, not a failure: the region is returned so the caller can decide, refine by other means, or report it. It is never silently discarded.

BudgetExhausted

Subdivision stopped on policy (depth or work budget) before the region could be classified either way.

Distinct from Self::Tangential: that is a statement about the geometry, this is a statement about the budget. Raising the budget may resolve it; raising it cannot resolve a tangency.

Trait Implementations

impl Clone for RegionKind

fn clone(&self) -> RegionKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RegionKind

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

Formats the value using the given formatter.

impl PartialEq for RegionKind

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

impl Eq for RegionKind

impl StructuralPartialEq for RegionKind