Struct programinduction::ECParams
[−]
[src]
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 TypeSchema
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.