Struct programinduction::ECParams

pub struct ECParams {
    pub frontier_limit: usize,
    pub search_limit_timeout: Option<Duration>,
    pub search_limit_description_length: Option<f64>,
}

Parameters for the EC algorithm.

The first of these limits/timeouts to be hit determines termination of enumeration. It is dangerous to have both search limits set to None!

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_timeout: Option<Duration>

A timeout before enumeration is stopped, run independently per distinct TypeScheme being enumerated. If this is reached, there may be fewer than frontier_limit many solutions.

search_limit_description_length: Option<f64>

An approximate limit on enumerated description length. If this is reached, there may be fewer than frontier_limit many solutions.