Struct BezierRetainedOverlapReport2 

pub struct BezierRetainedOverlapReport2 { /* private fields */ }

Exact overlap report for materialized retained Bezier arrangement fragments.

Implementations

impl BezierRetainedOverlapReport2

pub fn from_graph( graph: &BezierArrangementGraph2, policy: &CurvePolicy, ) -> Classification<Self>

Scans a retained arrangement graph for certified materialized overlaps.

Algebraic endpoint-image and unresolved fragments are not overlap- resolved here because endpoint evidence alone is not a curve-image overlap proof. Materialized pairs whose relation remains unresolved return boundary uncertainty so callers cannot treat an incomplete scan as a no-overlap proof.

pub fn new(overlaps: Vec<BezierRetainedOverlap2>) -> CurveResult<Self>

Constructs a report from already-certified overlaps.

pub fn overlaps(&self) -> &[BezierRetainedOverlap2]

Returns certified overlap pairs.

pub fn into_overlaps(self) -> Vec<BezierRetainedOverlap2>

Consumes the report and returns certified overlap pairs.

pub fn is_empty(&self) -> bool

Returns true when the scan found no certified materialized overlaps.

pub fn len(&self) -> usize

Returns the number of certified materialized overlap pairs.

pub fn line_overlap_splits( &self, policy: &CurvePolicy, ) -> Classification<Vec<BezierRetainedLineOverlapSplit2>>

Extracts exact line-image overlap split evidence from this report.

Same-control and same-curve-image overlaps are full curve-image degeneracies and do not have line affine ranges here. Only BezierRetainedOverlapRelation2::LineSegmentOverlap contributes.

pub fn linear_bezier_overlap_splits( &self, graph: &BezierArrangementGraph2, policy: &CurvePolicy, ) -> Classification<Vec<BezierRetainedLinearOverlapSplit2>>

Promotes exact line-image overlaps to Bezier-parameter split evidence.

This succeeds only when every line-image overlap in the report is backed by materialized polynomial Bezier fragments with certified linear parameterization. A single nonlinear line image makes the result unsupported rather than partially emitted, because callers use this method as a complete graph-splitting precondition.

Trait Implementations

impl Clone for BezierRetainedOverlapReport2

fn clone(&self) -> BezierRetainedOverlapReport2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BezierRetainedOverlapReport2

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

Formats the value using the given formatter.

impl Default for BezierRetainedOverlapReport2

fn default() -> BezierRetainedOverlapReport2

Returns the “default value” for a type.

impl PartialEq for BezierRetainedOverlapReport2

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