Struct Miter 

pub struct Miter {
    pub aig: Aig,
    pub pairs: Vec<(String, AigLit, AigLit)>,
}

Two circuits in one graph: inputs of the same name shared (unnamed and one-sided inputs kept apart), each named output of the left paired with the right’s output of that name, and an output a pair’s difference.

Fields

aig: Aig

pairs: Vec<(String, AigLit, AigLit)>

Each output’s name, its literal in the left circuit and in the right.

Trait Implementations

impl Clone for Miter

fn clone(&self) -> Miter

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Miter

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

Formats the value using the given formatter.