Struct chalk::Args

pub(crate) struct Args {
    pub(crate) flag_program: Option<String>,
    pub(crate) flag_solver: Option<String>,
    pub(crate) flag_goal: Vec<String>,
    pub(crate) flag_overflow_depth: usize,
    pub(crate) flag_multiple: bool,
}

This struct represents the various command line options available.

Fields

flag_program: Option<String>

flag_solver: Option<String>

flag_goal: Vec<String>

flag_overflow_depth: usize

flag_multiple: bool

Implementations

impl Args

pub(crate) fn solver_choice(&self) -> SolverChoice

Trait Implementations

impl Debug for Args

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Args

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.