Struct Report 

pub struct Report {
    pub verdicts: Vec<(String, Verdict)>,
    pub rounds: Vec<Round>,
    pub stats: Stats,
}

A decision over units: a verdict per output name, the rounds that made it, and the last round’s cost.

Fields

verdicts: Vec<(String, Verdict)>

rounds: Vec<Round>

stats: Stats

Implementations

impl Report

pub fn check( &self, left: &Side<'_>, right: &Side<'_>, functions: &[(String, String)], ) -> bool

Every round’s derivation replays from its miter’s formula and proves the operand equalities of every identification it makes, each of two applications of one function (one name on a side, or a pair functions declares), each made one once and never with itself; the last round’s proves the outputs claimed equal; and no output is claimed different.

pub fn check_unrolled( &self, left: &Unrolled<'_>, right: &Unrolled<'_>, functions: &[(String, String)], ) -> bool

Report::check over sides unrolled as each says.

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.