Enum ProbEngineCli 

pub(crate) enum ProbEngineCli {
    ExactDdnnf,
    Mc,
}

Variants

ExactDdnnf

Mc

Trait Implementations

impl Clone for ProbEngineCli

fn clone(&self) -> ProbEngineCli

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl ValueEnum for ProbEngineCli

fn value_variants<'a>() -> &'a [Self]

All possible argument values, in display order.

fn to_possible_value<'a>(&self) -> Option<PossibleValue>

The canonical argument value.

fn from_str(input: &str, ignore_case: bool) -> Result<Self, String>

Parse an argument into Self.

impl Copy for ProbEngineCli