Function puffin::fuzzer::utils::reservoir_sample

source ยท 
fn reservoir_sample<'a, R: Rand, PT: ProtocolTypes, P: Fn(&Term<PT>) -> bool + Copy>(
    trace: &'a Trace<PT>,
    filter: P,
    constraints: TermConstraints,
    rand: &mut R,
) -> Option<(&'a Term<PT>, TracePath)>
Expand description

https://en.wikipedia.org/wiki/Reservoir_sampling#Simple_algorithm