Enum Mode 

pub enum Mode {
    Compile,
    Mc,
    Wmc,
    Pmc,
    Pwmc,
}

What a run answers: one of the four counting tasks, or a compile.

The instance header declares it: a c t mc|wmc|pmc|pwmc line names the count, and a c p show line makes it projected. A mode given explicitly — the binary’s --mode, or the mode argument of crate::count — must agree with that header, and without either the run is a Compile. The two are merged once, when the instance is read; every dispatch reads the result and nothing re-derives it.

It prints as the token the header, --mode and the stats record spell it with: compile, mc, wmc, pmc or pwmc.

Variants

Compile

Compile the formula into a diagram over every original variable, and count its models.

Mc

Count the models: exact, an integer.

Wmc

Weigh the models by the c p weight table: in a bounded-precision log domain.

Pmc

Count the assignments to the c p show variables that extend to a model: exact, an integer.

Pwmc

Weigh those assignments by the c p weight table: exact, a rational.

Trait Implementations

impl Clone for Mode

fn clone(&self) -> Mode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Mode

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

Formats the value using the given formatter.

impl Display for Mode

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

Formats the value using the given formatter.

impl FromStr for Mode

The mode a token names, spelled as it prints, so a caller that takes the mode as text (the C and Python bindings) reads it with the binary’s vocabulary.

use tididi_cnf::Mode;

assert_eq!("pwmc".parse::<Mode>()?, Mode::Pwmc);
assert!("weighted".parse::<Mode>().is_err());

fn from_str(token: &str) -> Result<Self, Error>

Error::Usage, listing the tokens, for any other spelling.

type Err = Error

The associated error which can be returned from parsing.

impl Hash for Mode

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Mode

fn eq(&self, other: &Mode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Mode

impl Eq for Mode

impl StructuralPartialEq for Mode