Struct CfgConfig

pub struct CfgConfig {
    pub size_limit: usize,
    pub time_limit: usize,
    pub substr_limit: usize,
    pub listsubseq_samples: usize,
    pub increase_cost_limit: usize,
    pub cond_search: bool,
    pub no_deduction: bool,
    pub ite_limit_rate: usize,
    pub ite_limit_giveup: usize,
    pub tree_hole: bool,
}

A configuration structure for controlling various parameters related to the synthesis problem-solving process.

This structure contains fields that define limits and options for resource consumption and operational modes during synthesis. These fields include limits on size, time, and substring occurrences, as well as sample sizes for list subsequences. It also includes options for controlling conditional searching, deduction skipping, iteration limit rates, and special tree hole conditions. This configuration enables users to tailor the synthesis process by adjusting these parameters to suit different problem constraints and computational scenarios.

Fields

size_limit: usize

time_limit: usize

substr_limit: usize

listsubseq_samples: usize

increase_cost_limit: usize

cond_search: bool

no_deduction: bool

ite_limit_rate: usize

ite_limit_giveup: usize

tree_hole: bool

Trait Implementations

impl Clone for CfgConfig

fn clone(&self) -> CfgConfig

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<Config> for CfgConfig

fn from(value: Config) -> Self

Creates a new instance by converting from a Config object.

This method initializes each field of the struct with corresponding values fetched from the Config object, using specified keys. If a key does not exist in the Config, a default value is assigned. For size_limit and time_limit, the size defaults to usize::MAX. The substr_limit defaults to 4, listsubseq_samples to 0, increase_cost_limit to 2000, ite_limit_rate to 1000, and ite_limit_giveup to 40. The boolean fields cond_search, no_deduction, and tree_hole are initialized as false. This method is essential for transforming configuration data into a structured format used for synthesis constraints.