Struct ProbArgs 

pub(crate) struct ProbArgs {

    pub(crate) source: PathBuf,
    pub(crate) device: usize,
    pub(crate) memory_mb: u64,
    pub(crate) prob_engine: Option<ProbEngineCli>,
    pub(crate) samples: Option<usize>,
    pub(crate) seed: Option<u64>,
    pub(crate) confidence: Option<f64>,
    pub(crate) prob_method: Option<ProbMethodCli>,
    pub(crate) prob_max_nonmonotone_iterations: Option<usize>,
    pub(crate) allow_cpu_oracle: bool,
    pub(crate) output: ProbOutputFormat,
    pub(crate) output_dir: Option<PathBuf>,
    pub(crate) module_path: Vec<PathBuf>,
}

Fields

source: PathBuf

device: usize

memory_mb: u64

prob_engine: Option<ProbEngineCli>

samples: Option<usize>

seed: Option<u64>

confidence: Option<f64>

prob_method: Option<ProbMethodCli>

prob_max_nonmonotone_iterations: Option<usize>

allow_cpu_oracle: bool

Allow the labeled CPU oracle when the resident GPU MC engine rejects the program (negation, aggregates, …). Fail-closed when unset; the result is labeled mc_engine: cpu-oracle and is not GPU-native evidence.

output: ProbOutputFormat

output_dir: Option<PathBuf>

module_path: Vec<PathBuf>

Additional directories to search for modules (colon-separated)

Trait Implementations

impl Args for ProbArgs

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 CommandFactory for ProbArgs

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 FromArgMatches for ProbArgs

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 ProbArgs

fn parse() -> Self

Parse from std::env::args_os(), [exit][Error::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][Error::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][Error::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.