Trait rustc_mir_dataflow::framework::BitSetExt

source ·
pub trait BitSetExt<T> {
    // Required methods
    fn contains(&self, elem: T) -> bool;
    fn union(&mut self, other: &HybridBitSet<T>);
    fn subtract(&mut self, other: &HybridBitSet<T>);
}
Expand description

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

Required Methods§

source

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

source

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

source

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

Implementations on Foreign Types§

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

Implementors§

source§

impl<T, S: BitSetExt<T>> BitSetExt<T> for MaybeReachable<S>

source§

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