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>,
    pub(crate) wcoj: bool,
}

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 fail-closed execution policy) 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 verify that unsupported execution shapes are rejected.

wcoj: bool

Engage the worst-case-optimal join (WCOJ) subsystem for eligible multiway rules (triangle + 4-cycle). Without this the deterministic runner uses binary joins, which blow up on skewed cyclic queries. Sets the documented WCOJ dispatch gates for this process.

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.