mcrl2::aterm::aterm_builder

Function random_term

Source
pub fn random_term(
    tp: &mut TermPool,
    rng: &mut impl Rng,
    symbols: &[(String, usize)],
    constants: &[String],
    iterations: usize,
) -> ATerm
Expand description

Create a random term consisting of the given symbol and constants. Performs iterations number of constructions, and uses chance_duplicates to choose the amount of subterms that are duplicated.