Struct Config

pub struct Config(BTreeMap<String, ConstValue>);

A configuration fields of extended SyGuS-IF. Holding a collection of key-value pairs.

Tuple Fields

0: BTreeMap<String, ConstValue>

Implementations

impl Config

pub fn new() -> Self

Creates a new instance of the type containing an empty BTreeMap.

pub fn parse(pair: Pair<'_, Rule>) -> Result<Self, Error>

Parses a Pair of a configuration from a parsed syntax tree and returns a Config object.

pub fn get_str(&self, name: &str) -> Option<&'static str>

Provides a method to retrieve a string reference from the configuration for a given key.

pub fn get_i64(&self, name: &str) -> Option<i64>

Retrieves an i64 value from the configuration map based on the provided string name key. This function attempts to access the key within the internal map and converts the associated ConstValue to an i64 if possible, returning Some(i64) when successful or None if the key does not exist or cannot be converted.

pub fn get_usize(&self, name: &str) -> Option<usize>

Provides a method to retrieve a usize value from the configuration.

pub fn get_bool(&self, name: &str) -> Option<bool>

Retrieves an optional boolean value associated with a given key from the configuration.

pub fn get_expr(&self, name: &str) -> Option<&'static Expr>

Provides functionality to retrieve a static reference to an Expr associated with a given name.

pub fn merge(&mut self, other: Self)

Merges another instance into the current one by extending its internal map with the entries from the provided instance.

Trait Implementations

impl Clone for Config

fn clone(&self) -> Config

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Config

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

Formats the contents of the Config into a user-friendly string representation.

impl Default for Config

fn default() -> Config

Returns the “default value” for a type.

impl From<BTreeMap<String, ConstValue>> for Config

fn from(original: BTreeMap<String, ConstValue>) -> Config

Converts to this type from the input type.

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.

impl Hash for Config

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Config

fn eq(&self, other: &Config) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Config

impl StructuralPartialEq for Config