Trait GenKill

pub trait GenKill<T> {
    // Required methods
    fn gen_(&mut self, elem: T);
    fn kill(&mut self, elem: T);

    // Provided methods
    fn gen_all(&mut self, elems: impl IntoIterator<Item = T>) { ... }
    fn kill_all(&mut self, elems: impl IntoIterator<Item = T>) { ... }
}

The legal operations for a transfer function in a gen/kill problem.

Required Methods

fn gen_(&mut self, elem: T)

Inserts elem into the state vector.

fn kill(&mut self, elem: T)

Removes elem from the state vector.

Provided Methods

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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

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

fn gen_(&mut self, elem: T)

fn kill(&mut self, elem: T)

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

fn gen_(&mut self, elem: T)

fn kill(&mut self, elem: T)

Implementors

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

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