pub fn map_pending_obligations<P, F>(&self, f: F) -> Vec<P>
        where F: Fn(&O) -> P
    {
        self.nodes
            .iter()
            .filter(|n| n.state.get() == NodeState::Pending)
            .map(|n| f(&n.obligation))
            .collect()
    }
/// Returns the set of obligations that are in a pending state.
Returns the set of obligations that are in a pending state.
Returns the set of obligations that are in a pending state .
pub fn map_pending_obligations<P, F>(&self, f: F) -> Vec<P>
        where F: Fn(&O) -> P
    {
        self.nodes
            .iter()
            .filter(|n| n.state.get() == NodeState::Pending)
            .map(|n| f(&n.obligation))
            .collect()
    }
pub fn map_pending_obligations < P , F > ( & self , f : F ) -> Vec < P > where F : Fn ( & O ) -> P { self . nodes . iter ( ) . filter ( | n | n . state . get ( ) == NodeState :: Pending ) . map ( | n | f ( & n . obligation ) ) . collect ( ) }
Returns the set of obligations that are in a pending state.
Returns the set of obligations that are in a pending state .
&self
f
F
&self
f
F