Struct ExactConstructionKernel 

pub struct ExactConstructionKernel;

An exact-construction kernel that implements [GeometryKernel].

For predicates on plain f64 points, it delegates to the same filtered → compensated → exact ladder as [FilteredF64Kernel]. The difference is that it also provides exact construction methods (construct_segment_intersection) and exact predicates on constructed points (orientation_2_exact).

This kernel is zero-sized and Copy — the expansion workspace is stack-allocated inside each method call, not carried as state.

Trait Implementations

impl Clone for ExactConstructionKernel

fn clone(&self) -> ExactConstructionKernel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConstructionKernel for ExactConstructionKernel

fn segment_intersection_2( &self, a: Point2, b: Point2, c: Point2, d: Point2, ) -> Result<ExactPoint2, Unsupported>

Exact 2-D segment-segment intersection point.

impl Debug for ExactConstructionKernel

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

Formats the value using the given formatter.

impl Default for ExactConstructionKernel

fn default() -> ExactConstructionKernel

Returns the “default value” for a type.

impl GeometryKernel for ExactConstructionKernel

fn orientation_2(&self, a: Point2, b: Point2, c: Point2) -> Orientation

2D orientation: the sign of the turn a → b → c.

fn orient_3d(&self, a: Point3, b: Point3, c: Point3, d: Point3) -> Sign

3D orientation: the sign of det(b−a, c−a, d−a) (the signed volume of tetrahedron a b c d). Sign::Positive = d below the oriented plane a → b → c; Sign::Negative = above; Sign::Zero = coplanar.

fn incircle(&self, a: Point2, b: Point2, c: Point2, d: Point2) -> Sign

2D in-circle: the side of d w.r.t. the oriented circle through a, b, c. Sign::Positive = inside (when a, b, c are CCW); Sign::Zero = on; Sign::Negative = outside.

fn insphere( &self, a: Point3, b: Point3, c: Point3, d: Point3, e: Point3, ) -> Sign

3D in-sphere: the side of e w.r.t. the oriented sphere through a, b, c, d. Sign::Positive = inside (when a, b, c, d are positively oriented); Sign::Zero = on; Sign::Negative = outside.

impl PartialEq for ExactConstructionKernel

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

impl Eq for ExactConstructionKernel

impl StructuralPartialEq for ExactConstructionKernel