Struct Cli

pub(crate) struct Cli {
    pub(crate) verbose: u8,
    pub(crate) cfg: Option<String>,
    pub(crate) thread: usize,
    pub(crate) no_ite: bool,
    pub(crate) ite_limit_rate: usize,
    pub(crate) no_deduction: bool,
    pub(crate) with_all_example_thread: bool,
    pub(crate) extract_constants: bool,
    pub(crate) path: String,
    pub(crate) debug: bool,
    pub(crate) showex: bool,
    pub(crate) sig: bool,
}

A command-line interface configuration providing options for controlling a string synthesis process.

The struct fields represent various parameters that users can configure, such as logging verbosity, file paths for grammar configurations, and the thread count for execution. It includes options to enable or disable the use of the ite operator and deduction mode, which involves Enumeration and ACS. Users can also choose to enable a separate all-example thread to optimize processing or extract constants when needed. The input file path is required and can be in enriched sygus-if or smt2 format depending on whether synthesis or result-checking is required. Additional debugging options are available, allowing for more verbose output, viewing examples, or simply printing the signature of a synthesis problem without solving it.

Fields

verbose: u8

Log level

cfg: Option<String>

Path to the context-free grammar configuration (enriched sygus-if)

thread: usize

Number of threads

no_ite: bool

No ITE Mode: Generate results without ite operator

ite_limit_rate: usize

Set the rate limit of ITE (in milliseconds), i.e., how much time (without new solutions) does it take for the ite_limit to increment by one.

no_deduction: bool

Disable deduction, i.e., Enumeration + ACS.

with_all_example_thread: bool

Enable all-example thread (Using one thread for all-example thread)

extract_constants: bool

Enable constant extraction.

path: String

Path to the input file: enriched sygus-if (.sl) for synthesis or smt2 (.smt2) to check the result.

debug: bool

Debug Mode (More assertions)

showex: bool

Show examples (debugging)

sig: bool

Show Signature (Just Print the signature without solving)

Trait Implementations

impl Args for Cli

fn group_id() -> Option<Id>

Report the ArgGroup::id for this set of arguments

fn augment_args<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut

fn augment_args_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut

impl CommandFactory for Cli

fn command<'b>() -> Command

Build a Command that can instantiate Self.

fn command_for_update<'b>() -> Command

Build a Command that can update self.

impl Debug for Cli

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

Formats the value using the given formatter.

impl FromArgMatches for Cli

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

impl Parser for Cli

fn parse() -> Self

Parse from std::env::args_os(), exit on error.

fn try_parse() -> Result<Self, Error>

Parse from std::env::args_os(), return Err on error.

fn parse_from<I, T>(itr: I) -> Self

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, exit on error.

fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, return Err on error.

fn update_from<I, T>(&mut self, itr: I)

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, exit on error.

fn try_update_from<I, T>(&mut self, itr: I) -> Result<(), Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, return Err on error.