Struct GlobalArgs 

pub struct GlobalArgs {
    pub extra_rule_sets: Vec<String>,
    pub solver: SolverFamily,
    pub verbose: bool,
    pub check_equally_applicable_rules: bool,
    pub human_rule_trace: Option<PathBuf>,
    pub _no_check_equally_applicable_rules: bool,
    pub use_native_parser: bool,
    pub no_use_expand_ac: bool,
    pub save_solver_input_file: Option<PathBuf>,
    pub use_optimised_rewriter: bool,
    pub exit_after_unrolling: bool,
}

Fields

extra_rule_sets: Vec<String>

Extra rule sets to enable

solver: SolverFamily

Solver family to use

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.

use_native_parser: bool

Use the native parser instead of Conjure’s.

no_use_expand_ac: bool

Do not use better comprehension expanding for ac operators (and,or,sum,product).

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.

use_optimised_rewriter: bool

Use the experimental optimized / dirty-clean rewriter, instead of the default rewriter

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.

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