Struct ExprGenerator 

pub struct ExprGenerator { /* private fields */ }

Random expression generator.

Implementations

impl ExprGenerator

pub fn new(config: ExprGenConfig, seed: u64) -> Self

Create a new generator with config and seed

pub fn gen_var(&mut self) -> Term

Generate a random variable term

pub fn gen_const(&mut self) -> Term

Generate a random constant term

pub fn gen_term(&mut self) -> Term

Generate a random term

pub fn gen_predicate(&mut self) -> TLExpr

Generate a random predicate expression

pub fn gen_expr(&mut self, depth: usize) -> TLExpr

Generate a random expression with given depth limit

pub fn gen(&mut self) -> TLExpr

Generate a random expression with default depth