Struct meancop::Cli

pub struct Cli {
    pub conj: bool,
    pub nopaths: bool,
    pub output: Option<PathBuf>,
    pub infs: Option<PathBuf>,
    pub file: PathBuf,
    // some fields omitted
}

Automated theorem prover for first-order logic with equality

This prover aims to explore efficient implementation techniques for both clausal and nonclausal connection calculi.

Set the environment variable “LOG” to “info”, “debug”, or “trace” to obtain an increasingly detailed log.

Fields

conj: bool

Enable conjecture-directed proof search

nopaths: bool

Disable matrix sorting by number of paths

output: Option<PathBuf>

Write SZS output (such as proofs and error details) to given file

infs: Option<PathBuf>

Write inference statistics in JSON format to given file

file: PathBuf

Path of the TPTP problem file

Implementations

impl Cli

pub fn get_cuts(&self) -> Cuts

pub fn output(&self, out: impl Display) -> Result<(), Error>

pub fn depths(&self) -> Box<dyn Iterator<Item = usize>>

Trait Implementations

impl Clap for Cli

pub fn parse() -> Self

Parse from std::env::args_os(), exit on error

pub fn try_parse() -> Result<Self, Error>

Parse from std::env::args_os(), return Err on error.

pub fn parse_from<I, T>(itr: I) -> Self where
    T: Into<OsString> + Clone,
    I: IntoIterator<Item = T>, 

Parse from iterator, exit on error

pub fn try_parse_from<I, T>(itr: I) -> Result<Self, Error> where
    T: Into<OsString> + Clone,
    I: IntoIterator<Item = T>, 

Parse from iterator, return Err on error.

impl FromArgMatches for Cli

fn from_arg_matches(matches: &ArgMatches) -> Self

It’s common to have an “application context” struct (sometimes called config) that represents all the normalized values after being processed by the CLI.

impl IntoApp for Cli

fn into_app<'b>() -> App<'b>

@TODO @release @docs

fn augment_clap<'b>(app: App<'b>) -> App<'b>

@TODO @release @docs