Struct Distinction 

pub struct Distinction {
    pub classes: Vec<Vec<usize>>,
    pub proofs: Vec<(usize, usize, Report)>,
    pub inputs: Vec<String>,
    pub outputs: Vec<String>,
    pub vectors: Vec<Vec<bool>>,
    pub cover: Vec<usize>,
    pub table: Vec<Vec<Vec<bool>>>,
}

A family of circuits told apart by distinguish.

Fields

classes: Vec<Vec<usize>>

Members that compute one function, by index: each class in member order, the classes by their first member.

proofs: Vec<(usize, usize, Report)>

For each member after the first of its class: that first member, the member, and the report proving them equal.

inputs: Vec<String>

The input names a vector assigns, in order of first appearance across the members.

outputs: Vec<String>

The output names, in the first member’s order.

vectors: Vec<Vec<bool>>

The seeds, then every input assignment found to separate two members, over inputs.

cover: Vec<usize>

Vectors, by index, on one of which every two classes differ.

table: Vec<Vec<Vec<bool>>>

Each class’s outputs on each cover vector, over outputs.

Implementations

impl Distinction

pub fn check(&self, members: &[Aig]) -> bool

The classes partition the members, every proof checks and binds the two members it names, every two classes differ on a cover vector, and the table is what each class’s members compute there.

Trait Implementations

impl Clone for Distinction

fn clone(&self) -> Distinction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Distinction

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

Formats the value using the given formatter.