Struct UsizeCOSet 

pub struct UsizeCOSet { /* private fields */ }

Immutable canonical interval set.

Internally this is an Arc<[UsizeCO]>, so cloning a UsizeCOSet 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 UsizeCOSet

pub fn interval_count(&self) -> usize

Returns the number of canonical intervals.

For the UsizeCO domain, the maximum canonical interval count is 128, e.g. [0, 1), [2, 3), ..., [254, 255).

pub fn is_empty(&self) -> bool

Returns whether the set contains no intervals.

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

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 = UsizeCO>

Iterates over canonical intervals by value.

impl UsizeCOSet

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

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

Complexity: O(log n).

pub fn contains_interval(&self, query: UsizeCO) -> 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: UsizeCO) -> bool

Returns whether query intersects any interval in the set.

Complexity: O(log n).

impl UsizeCOSet

pub fn interval_containing_point(&self, x: usize) -> Option<UsizeCO>

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 UsizeCOSet

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

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: UsizeCO) -> impl Iterator<Item = UsizeCO>

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 UsizeCOSet

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

Returns the covered length inside query.

Since UsizeCOSet 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: UsizeCO) -> usize

Returns the uncovered length inside query.

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

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

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

Trait Implementations

impl Clone for UsizeCOSet

fn clone(&self) -> UsizeCOSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UsizeCOSet

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

Formats the value using the given formatter.

impl PartialEq for UsizeCOSet

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

impl StructuralPartialEq for UsizeCOSet