Struct GlobalArgs 

pub struct GlobalArgs {

    pub extra_rule_sets: Vec<String>,
    pub verbose: bool,
    pub check_equally_applicable_rules: bool,
    pub human_rule_trace: Option<PathBuf>,
    pub _no_check_equally_applicable_rules: bool,
    pub parser: Parser,
    pub rewriter: Rewriter,
    pub quantified_expander: QuantifiedExpander,
    pub solver: SolverFamily,
    pub save_solver_input_file: Option<PathBuf>,
    pub exit_after_unrolling: bool,
    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.

human_rule_trace: Option<PathBuf>

Output file for the human readable rule trace.

_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.

quantified_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; with smt feature: smt and smt-<ints>-<matrices>[-nodiscrete] where <ints> is lia or bv, and <matrices> is arrays or atomic.

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.

exit_after_unrolling: bool

Exit after all comprehensions have been unrolled, printing the number of expressions at that point.

This is only compatible with the default rewriter.

This flag is useful to compare how comprehension optimisations, such as expand-ac, effect rewriting.

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: 152 bytes