Expand description
Filtered exact arithmetic for geometric predicates.
Provides fast-path floating-point computation with automatic fallback to exact arithmetic when the result is ambiguous. In practice, 95%+ of predicate evaluations resolve in the fast path.
Based on Shewchuk’s adaptive precision arithmetic (1997).
CDT (cdt.rs) and mesh booleans (mesh_boolean.rs in brepkit-operations)
can switch their orient2d/in_circle calls to these filtered versions
for a significant performance improvement without sacrificing robustness.
Enums§
- Segment
Intersection - Result of a 2D segment-segment intersection test.
Functions§
- filtered_
in_ circle - Filtered in-circle: fast f64 path with exact fallback.
- filtered_
orient2d - Filtered orient2d: fast f64 path with exact fallback.
- filtered_
orient3d - Filtered orient3d: fast f64 path with exact fallback.
- segment_
intersection - Compute the intersection of two 2D line segments using filtered predicates.