Trait rustc_mir_dataflow::framework::BitSetExt

pub trait BitSetExt<T> {
    fn domain_size(&self) -> usize;
    fn contains(&self, elem: T) -> bool;
    fn union(&mut self, other: &HybridBitSet<T>);
    fn subtract(&mut self, other: &HybridBitSet<T>);
}

Analysis domains are all bitsets of various kinds. This trait holds operations needed by all of them.

Required Methods

fn domain_size(&self) -> usize

fn contains(&self, elem: T) -> bool

fn union(&mut self, other: &HybridBitSet<T>)

fn subtract(&mut self, other: &HybridBitSet<T>)

Implementations on Foreign Types

impl<T: Idx> BitSetExt<T> for BitSet<T>

fn domain_size(&self) -> usize

fn contains(&self, elem: T) -> bool

fn union(&mut self, other: &HybridBitSet<T>)

fn subtract(&mut self, other: &HybridBitSet<T>)

impl<T: Idx> BitSetExt<T> for ChunkedBitSet<T>

fn domain_size(&self) -> usize

fn contains(&self, elem: T) -> bool

fn union(&mut self, other: &HybridBitSet<T>)

fn subtract(&mut self, other: &HybridBitSet<T>)

Implementors

impl<T: Idx> BitSetExt<T> for Dual<BitSet<T>>