Struct Answer 

pub struct Answer { /* private fields */ }

What a run answered: the mode it ran, whether the formula has a model, the count, and the run’s record.

Implementations

impl Answer

pub fn mode(&self) -> Mode

The mode the run resolved to, from the header and the mode it was given.

pub fn satisfiable(&self) -> bool

Whether the formula has a model. This is the run’s verdict, not read off the count: a zero weight, or weights that cancel, make the weighted count of a satisfiable formula zero.

pub fn count(&self) -> &Count

The count: over every variable the formula declares, or over the c p show variables on the projected modes.

pub fn diagram(&self) -> Option<&Tdd>

The compiled diagram, over every variable the formula declares, in the Mode::Compile mode; None in the counting modes, which count without keeping one. [tididi::io::save_tdd] writes it, as the binary’s --save-tdd does.

pub fn stats(&self) -> &Stats

The run’s record: sizes, timings, which stage answered, as the binary’s --stats writes it.

Trait Implementations

impl Debug for Answer

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

Formats the value using the given formatter.