Struct rustc_index::interval::IntervalSet

pub struct IntervalSet<I> {
    map: SmallVec<[(u32, u32); 4]>,
    domain: usize,
    _data: PhantomData<I>,
}

Stores a set of intervals on the indices.

The elements in map are sorted and non-adjacent, which means the second value of the previous element is greater than the first value of the following element.

Fields

map: SmallVec<[(u32, u32); 4]>

domain: usize

_data: PhantomData<I>

Implementations

impl<I: Idx> IntervalSet<I>

pub fn new(domain: usize) -> IntervalSet<I>

pub fn clear(&mut self)

pub fn iter(&self) -> impl Iterator<Item = I> + '_where
    I: Step,

pub fn iter_intervals(&self) -> impl Iterator<Item = Range<I>> + '_where
    I: Step,

Iterates through intervals stored in the set, in order.

pub fn insert(&mut self, point: I) -> bool

Returns true if we increased the number of elements present.

pub fn insert_range(&mut self, range: impl RangeBounds<I> + Clone) -> bool

Returns true if we increased the number of elements present.

pub fn contains(&self, needle: I) -> bool

pub fn superset(&self, other: &IntervalSet<I>) -> boolwhere
    I: Step,

pub fn is_empty(&self) -> bool

pub fn last_set_in(&self, range: impl RangeBounds<I> + Clone) -> Option<I>

Returns the maximum (last) element present in the set from range.

pub fn insert_all(&mut self)

pub fn union(&mut self, other: &IntervalSet<I>) -> boolwhere
    I: Step,

fn check_invariants(&self) -> bool

Trait Implementations

impl<I: Clone> Clone for IntervalSet<I>

fn clone(&self) -> IntervalSet<I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I: Debug> Debug for IntervalSet<I>

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

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 48 bytes