/// Creates a clone of the current state and applies the local
/// effects to the clone (leaving the state of self intact).
/// Invokes `f` with an iterator over the resulting state.
Creates a clone of the current state and applies the local
effects to the clone (leaving the state of self intact).
Invokes `f` with an iterator over the resulting state.
Creates a clone of the current state and applies the local effects to the clone ( leaving the state of self intact ) . Invokes ` f ` with an iterator over the resulting state .
pub fn with_iter_outgoing<F>(&self, f: F)
    where
        F: FnOnce(Iter<BD::Idx>),
    {
        let mut curr_state = self.curr_state.clone();
        curr_state.union_hybrid(&self.stmt_gen);
        curr_state.subtract_hybrid(&self.stmt_kill);
        f(curr_state.iter());
    }
pub fn with_iter_outgoing < F > ( & self , f : F ) where F : FnOnce ( Iter < BD :: Idx > ) , { let mut curr_state = self . curr_state . clone ( ) ; curr_state . union_hybrid ( & self . stmt_gen ) ; curr_state . subtract_hybrid ( & self . stmt_kill ) ; f ( curr_state . iter ( ) ) ; }
Creates a clone of the current state and applies the local
effects to the clone (leaving the state of self intact).
Creates a clone of the current state and applies the local effects to the clone ( leaving the state of self intact ) .
&self
f
F