Struct LineSeg2 

pub struct LineSeg2 { /* private fields */ }

A finite line segment.

Implementations

impl LineSeg2

pub fn intersect_line( &self, other: &Self, policy: &CurvePolicy, ) -> CurveResult<LineLineIntersection>

Intersects this line segment with another line segment.

Uses the standard parametric cross-product relation p + t r = q + u s. Parallel, collinear, point, and overlap cases stay separate because polygon clipping degeneracies need those distinctions later in the boolean pipeline.

pub fn intersect_arc( &self, arc: &CircularArc2, policy: &CurvePolicy, ) -> CurveResult<LineArcIntersection>

Intersects this line segment with a circular arc.

Substitutes the segment’s affine parameter into the circle equation and classifies the resulting quadratic roots once at the supporting-line layer, then filters those roots by the finite line interval and by the arc sweep. Keeping the line-circle relation explicit gives future line/arc batches a reusable exact predicate surface without moving arc topology into the algebraic primitive.

pub fn supporting_line_circle_relation( &self, arc: &CircularArc2, policy: &CurvePolicy, ) -> CurveResult<LineCircleRelation>

Classifies the relation between this segment’s supporting line and an arc’s full circle.

This method ignores the finite line interval and the finite arc sweep. It returns affine parameters on the line support so callers can perform those object-level filters without recomputing the line-circle quadratic. Structural-dispatch note: exact-rational line and circle facts carried by prepared curve objects can later select specialized discriminant reducers here while preserving this public relation shape.

impl LineSeg2

pub fn offset_left(&self, distance: Real) -> CurveResult<Self>

Returns the constant-distance segment on this segment’s left side.

The offset direction is the normalized left normal (-dy, dx) / length. This is the primitive line-profile case used by profile offset algorithms; higher-level curve-string offsetting must still add joins, trim self-intersections, and rebuild topology. See Tiller and Hanson, “Offsets of Two-Dimensional Profiles” (1984), for the line/arc primitive plus trim-and-join framing used by many CAD offset pipelines.

impl LineSeg2

pub fn try_new(start: Point2, end: Point2) -> CurveResult<Self>

Constructs a line segment and rejects equal endpoints when provable.

pub const fn new_unchecked(start: Point2, end: Point2) -> Self

Constructs a line segment without validating endpoint distinctness.

pub const fn start(&self) -> &Point2

Returns the segment start point.

pub const fn end(&self) -> &Point2

Returns the segment end point.

pub fn delta(&self) -> (Real, Real)

Returns (end.x - start.x, end.y - start.y).

pub fn length_squared(&self) -> Real

Returns squared segment length.

pub fn point_at(&self, t: Real) -> Point2

Returns the point at affine parameter t, where 0 is start and 1 is end.

pub fn reversed(&self) -> Self

Returns this segment with traversal direction reversed.

pub fn classify_point( &self, point: &Point2, policy: &CurvePolicy, ) -> Classification<LineSide>

Classifies a point relative to this oriented line segment’s supporting line.

pub fn prepare_topology_queries(&self) -> PreparedLineSeg2<'_>

Prepares this line segment for repeated supporting-line classifications.

The prepared view caches segment facts and predicate endpoint conversion, but it delegates every sidedness branch to the same exact predicate policy as LineSeg2::classify_point.

pub fn contains_point( &self, point: &Point2, policy: &CurvePolicy, ) -> Classification<bool>

Classifies whether a point lies on this finite line segment.

pub fn structural_facts(&self) -> LineSeg2Facts

Returns conservative structural facts for this line segment.

Axis-aligned and shared-scale facts are scheduling hints only. They help select faster exact kernels without becoming a substitute for the orientation predicates used for topology.

impl LineSeg2

pub fn transform_similarity(&self, transform: &Similarity2) -> CurveResult<Self>

Applies a certified planar similarity transform.

Trait Implementations

impl Clone for LineSeg2

fn clone(&self) -> LineSeg2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LineSeg2

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

Formats the value using the given formatter.

impl PartialEq for LineSeg2

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