Struct programinduction::ECParams

pub struct ECParams {
    pub frontier_limit: usize,
    pub search_limit: usize,
}

Parameters for the EC algorithm.

Fields

frontier_limit: usize

The maximum frontier size; the number of task solutions to be hit before enumeration is stopped for a particular task.

search_limit: usize

search limit is a hard limit of the number of expressions that are enumerated for a task. If this is reached, there may be fewer than frontier_limit many solutions.

Trait Implementations