Skip to main content

Module segment_triangle

axiolid_reference

Module segment_triangle 

Source
Expand description

Certified segment/triangle topology classification.

This module decides topology without a caller epsilon. Metric witness construction is deliberately separate: a representable closest point is not a certified proof of intersection.

Enums§

SegmentTriangleRelation
The topological relation between a finite segment and one triangle.

Functions§

segment_triangle_relation
Classify a segment against a triangle using certified orientation signs.