Struct RunArgs 

pub(crate) struct RunArgs {
    pub(crate) source: PathBuf,
    pub(crate) device: usize,
    pub(crate) memory_mb: u64,
    pub(crate) input: Vec<String>,
    pub(crate) output: OutputFormat,
    pub(crate) output_dir: Option<PathBuf>,
    pub(crate) stats: bool,
    pub(crate) stats_format: StatsFormat,
    pub(crate) module_path: Vec<PathBuf>,
    pub(crate) epistemic_plan_json: Option<PathBuf>,
}

Fields

source: PathBuf

device: usize

memory_mb: u64

input: Vec<String>

output: OutputFormat

output_dir: Option<PathBuf>

stats: bool

Show execution statistics (timing, memory usage)

stats_format: StatsFormat

Stats output format (human or json)

module_path: Vec<PathBuf>

Additional directories to search for modules (colon-separated)

epistemic_plan_json: Option<PathBuf>

Dump the compiled epistemic execution plan (EIR-derived GPU plan, world-view integrity constraints, and CPU-fallback counters) as JSON to this path. No-op for ordinary (non-epistemic) programs. This compiled epistemic-plan/EIR JSON dump exposes accepted know/possible literals and lets a caller assert cpu_fallback == 0 off a real GPU run.

Trait Implementations

impl Args for RunArgs

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 RunArgs

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 RunArgs

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 RunArgs

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.