Struct IsizeCOSet 

pub struct IsizeCOSet { /* private fields */ }

Immutable canonical interval set.

Internally this is an Arc<[IsizeCO]>, so cloning a IsizeCOSet is cheap.

Canonical invariant:

for every adjacent pair a, b:
    a.end_excl() < b.start()

The strict < means both overlap and adjacency have already been merged.

Implementations

impl IsizeCOSet

pub fn interval_count(&self) -> usize

Returns the number of canonical intervals.

For the IsizeCO domain, the maximum canonical interval count is 128, e.g. alternating single-point intervals across [isize::MIN, isize::MAX).

pub fn is_empty(&self) -> bool

Returns whether the set contains no intervals.

pub fn as_slice(&self) -> &[IsizeCO]

Returns the canonical interval slice.

The returned slice is sorted, non-overlapping, and contains no adjacent intervals.

pub fn iter_intervals(&self) -> impl Iterator<Item = IsizeCO>

Iterates over canonical intervals by value.

impl IsizeCOSet

pub fn contains_point(&self, x: isize) -> bool

Returns whether x is covered by any interval in the set.

Complexity: O(log n).

pub fn contains_interval(&self, query: IsizeCO) -> bool

Returns whether query is fully contained by one interval.

Since the set is canonical, a contained query interval can only be contained by the interval immediately preceding or starting at query.start().

Complexity: O(log n).

pub fn intersects_interval(&self, query: IsizeCO) -> bool

Returns whether query intersects any interval in the set.

Complexity: O(log n).

impl IsizeCOSet

pub fn interval_containing_point(&self, x: isize) -> Option<IsizeCO>

Returns the unique interval containing x, if any.

Because the set is canonical, at most one interval can contain a single point.

Complexity: O(log n).

impl IsizeCOSet

pub fn intervals_intersecting( &self, query: IsizeCO, ) -> impl Iterator<Item = IsizeCO>

Iterates over all canonical intervals intersecting query.

The iterator yields original intervals stored in the set, not clipped intersection segments.

Complexity: O(log n + k), where k is the number of returned intervals.

pub fn intersections(&self, query: IsizeCO) -> impl Iterator<Item = IsizeCO>

Iterates over clipped intersection segments with query.

Example:

set:   [10, 20), [30, 40)
query: [15, 35)
out:   [15, 20), [30, 35)

Complexity: O(log n + k), where k is the number of intersecting intervals.

impl IsizeCOSet

pub fn covered_len(&self, query: IsizeCO) -> usize

Returns the covered length inside query.

Since IsizeCOSet is canonical, all intersection segments are disjoint, so summing their lengths is valid.

The result is always <= query.len().

pub fn uncovered_len(&self, query: IsizeCO) -> usize

Returns the uncovered length inside query.

pub fn coverage_ratio(&self, query: IsizeCO) -> f32

Returns covered_len(query) / query.len() as f32.

query.len() is non-zero because IsizeCO cannot represent an empty interval.

Trait Implementations

impl Clone for IsizeCOSet

fn clone(&self) -> IsizeCOSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IsizeCOSet

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

Formats the value using the given formatter.

impl PartialEq for IsizeCOSet

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

impl StructuralPartialEq for IsizeCOSet