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 duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RegionKind

impl Debug for RegionKind

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

Formats the value using the given formatter.

impl Eq for RegionKind

impl PartialEq for RegionKind

fn eq(&self, other: &RegionKind) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for RegionKind