Struct rustc_mir_dataflow::framework::GenKillSet

pub struct GenKillSet<T> {
    gen: HybridBitSet<T>,
    kill: HybridBitSet<T>,
}

Stores a transfer function for a gen/kill problem.

Calling gen/kill on a GenKillSet will “build up” a transfer function so that it can be applied multiple times efficiently. When there are multiple calls to gen and/or kill for the same element, the most recent one takes precedence.

Fields

gen: HybridBitSet<T>

kill: HybridBitSet<T>

Implementations

impl<T: Idx> GenKillSet<T>

pub fn identity(universe: usize) -> Self

Creates a new transfer function that will leave the dataflow state unchanged.

pub fn apply(&self, state: &mut BitSet<T>)

Trait Implementations

impl<T: Clone> Clone for GenKillSet<T>

fn clone(&self) -> GenKillSet<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Idx> GenKill<T> for GenKillSet<T>

fn gen(&mut self, elem: T)

Inserts elem into the state vector.

fn kill(&mut self, elem: T)

Removes elem from the state vector.

fn gen_all(&mut self, elems: impl IntoIterator<Item = T>)

Calls gen for each element in elems.

fn kill_all(&mut self, elems: impl IntoIterator<Item = T>)

Calls kill for each element in elems.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.