Struct GlobalArgs 

pub struct GlobalArgs {

    pub extra_rule_sets: Vec<String>,
    pub verbose: bool,
    pub check_equally_applicable_rules: bool,
    pub rule_trace: Option<PathBuf>,
    pub rule_trace_verbose: Option<PathBuf>,
    pub _no_check_equally_applicable_rules: bool,
    pub parser: Parser,
    pub rewriter: Rewriter,
    pub comprehension_expander: QuantifiedExpander,
    pub solver: SolverFamily,
    pub minion_discrete_threshold: usize,
    pub save_solver_input_file: Option<PathBuf>,
    pub solver_timeout: Option<Duration>,
    pub log: bool,
    pub logfile: Option<PathBuf>,
    pub logfile_json: Option<PathBuf>,
}

Fields

extra_rule_sets: Vec<String>

Extra rule sets to enable

verbose: bool

Log verbosely

check_equally_applicable_rules: bool

Check for multiple equally applicable rules, exiting if any are found.

Only compatible with the default rewriter.

rule_trace: Option<PathBuf>

Output file for the human readable rule trace.

rule_trace_verbose: Option<PathBuf>

Output file for verbose rule-attempt trace in CSV format.

Each row includes: elapsed_s, rule_level, rule_name, rule_set, status, expression.

_no_check_equally_applicable_rules: bool

Do not check for multiple equally applicable rules [default].

Only compatible with the default rewriter.

parser: Parser

Which parser to use.

Possible values: tree-sitter, via-conjure.

rewriter: Rewriter

Which rewriter to use.

Possible values: naive, morph.

comprehension_expander: QuantifiedExpander

Which strategy to use for expanding quantified variables in comprehensions.

Possible values: native, via-solver, via-solver-ac.

solver: SolverFamily

Solver family to use.

Possible values: minion, sat, sat-log, sat-direct, sat-order, smt[-<ints>][-<matrices>][-nodiscrete] where <ints> is lia or bv, and <matrices> is arrays or atomic.

minion_discrete_threshold: usize

Int-domain size threshold for using Minion DISCRETE variables.

If an int domain has size <= this value, Conjure Oxide emits DISCRETE; otherwise BOUND.

save_solver_input_file: Option<PathBuf>

Save a solver input file to .

This input file will be in a format compatible by the command-line interface of the selected solver. For example, when the solver is Minion, a valid .minion file will be output.

This file is for informational purposes only; the results of running this file cannot be used by Conjure Oxide in any way.

solver_timeout: Option<Duration>

Stop the solver after the given timeout.

Currently only SMT supports this feature.

log: bool

Generate log files

logfile: Option<PathBuf>

Output file for conjure-oxide’s text logs

logfile_json: Option<PathBuf>

Output file for conjure-oxide’s json logs

Trait Implementations

impl Args for GlobalArgs

fn group_id() -> Option<Id>

Report the [ArgGroup::id][crate::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 Clone for GlobalArgs

fn clone(&self) -> GlobalArgs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GlobalArgs

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

Formats the value using the given formatter.

impl FromArgMatches for GlobalArgs

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.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 184 bytes