Trait BitSetExt

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>);
}

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

Required Methods

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 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 contains(&self, elem: T) -> bool

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

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

Implementors

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

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