Struct Report 

pub struct Report {
    pub miter: Miter,
    pub verdicts: Vec<(String, Verdict)>,
    pub certificate: Certificate,
    pub stats: Stats,
}

A decided miter: a verdict per output name, the certificate behind the equalities, and the search’s cost.

Fields

miter: Miter

verdicts: Vec<(String, Verdict)>

certificate: Certificate

stats: Stats

Implementations

impl Report

pub fn all_equal(&self) -> bool

Every output proven equal.

pub fn equal_pairs(&self) -> Vec<(AigLit, AigLit)>

The literal pairs of the outputs proven equal.

pub fn check(&self) -> bool

The certificate proves every equality, and every difference’s assignment separates its pair.

pub fn named_inputs(&self, inputs: &[bool]) -> Vec<(String, bool)>

An assignment of the miter’s inputs, by name (unnamed inputs left out).

Trait Implementations

impl Clone for Report

fn clone(&self) -> Report

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Report

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

Formats the value using the given formatter.