Struct puffin::fuzzer::term_zoo::TermZoo

pub struct TermZoo<PB: ProtocolBehavior> {
    terms: Vec<Term<PB::ProtocolTypes>>,
}

Fields

terms: Vec<Term<PB::ProtocolTypes>>

Implementations

impl<PB: ProtocolBehavior> TermZoo<PB>

pub fn generate<R: Rand>( ctx: &TraceContext<PB>, signature: &Signature<PB::ProtocolTypes>, rand: &mut R, how_many: usize, ) -> Self

pub fn generate_many<R: Rand>( ctx: &TraceContext<PB>, signature: &Signature<PB::ProtocolTypes>, rand: &mut R, how_many: usize, filter: Option<&FunctionDefinition<PB::ProtocolTypes>>, filter_evaluated: bool, filter_no_gen: bool, ) -> Self

fn generate_term<R: Rand>( signature: &Signature<PB::ProtocolTypes>, (shape, dynamic_fn): &FunctionDefinition<PB::ProtocolTypes>, depth: u16, rand: &mut R, ) -> Option<Term<PB::ProtocolTypes>>

pub fn choose_filtered<P, R: Rand>( &self, filter: P, rand: &mut R, ) -> Option<&Term<PB::ProtocolTypes>>

where P: FnMut(&&Term<PB::ProtocolTypes>) -> bool,

pub fn terms(&self) -> &[Term<PB::ProtocolTypes>]