Struct LayeredCell

pub struct LayeredCell { /* private fields */ }

Ordered surface crossings plus sorted, strictly disjoint occupancy spans.

Both channels may be empty, hold one entry, or hold many; a cell never selects a “primary” layer.

Implementations

impl LayeredCell

pub const fn empty() -> Self

An empty column.

pub fn new(occupancy: Vec<Interval>) -> Result<Self, LayeredFieldError>

Construct an occupancy-only column.

pub fn with_layers( surfaces: Vec<SurfaceHit>, occupancy: Vec<Interval>, ) -> Result<Self, LayeredFieldError>

Construct a validated column with both channels.

Surfaces are sorted by w, then by facing so equal-coordinate ties are deterministic. Occupancy is sorted and must be strictly disjoint; touching or overlapping spans are rejected rather than merged, because a merge would silently erase a topology fact the caller may need.

pub fn surfaces(&self) -> &[SurfaceHit]

Crossings in increasing layer order.

pub fn occupancy(&self) -> &[Interval]

Occupied spans in increasing layer order.

pub fn layer_count(&self) -> usize

Total stored layers in both channels.

pub fn is_empty(&self) -> bool

Whether both channels are empty.

pub fn derive_occupancy( &self, tolerance: Tolerance, ) -> Result<Self, LayeredFieldError>

Pair alternating crossings into occupancy spans for a closed shell.

The sequence must alternate AgainstNormal (enter) then WithNormal (exit); anything else is reported as LayeredFieldError::UnbalancedCrossings rather than guessed. A pair whose span is within the linear tolerance is reported as LayeredFieldError::DegenerateOccupancy.

pub fn largest_free_span(&self, search: Interval) -> Option<Interval>

Largest unoccupied span strictly inside search, or None when the window is fully occupied.

This reports a distance. It does not decide whether that distance is sufficient for any purpose.

Trait Implementations

impl Clone for LayeredCell

fn clone(&self) -> LayeredCell

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LayeredCell

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

Formats the value using the given formatter.

impl Default for LayeredCell

fn default() -> LayeredCell

Returns the “default value” for a type.

impl PartialEq for LayeredCell

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