Struct BottomUpSynth 

pub struct BottomUpSynth {
    pub max_size: usize,
    pub variables: Vec<String>,
    pub literals: Vec<String>,
}

A bottom-up enumerative synthesiser for functional programs.

Fields

max_size: usize

Maximum program size (AST nodes).

variables: Vec<String>

Available variable names.

literals: Vec<String>

Available literal values.

Implementations

impl BottomUpSynth

pub fn new( max_size: usize, variables: Vec<String>, literals: Vec<String>, ) -> Self

Create a new bottom-up synthesiser.

pub fn enumerate_size(&self, size: usize) -> Vec<FuncProgram>

Enumerate all programs of exactly size AST nodes.

Trait Implementations

impl Clone for BottomUpSynth

fn clone(&self) -> BottomUpSynth

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BottomUpSynth

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.