Struct Mapping 

pub struct Mapping {
    pub xag: Xag,
    pub image: Vec<Option<Lit>>,
    pub origin: Vec<u32>,
    pub exact: Vec<bool>,
    pub level: Vec<u32>,
    pub luts: Vec<Lut>,
}

A network mapped onto LUTs.

Fields

xag: Xag

The network rebuilt with its supergates balanced.

image: Vec<Option<Lit>>

The literal of the balanced network each original node is; None for a supergate’s inner node, which nothing outside its supergate reads.

origin: Vec<u32>

The original node each balanced node stands for: the node it computes when exact, else the root of the supergate whose balancing made it.

exact: Vec<bool>

level: Vec<u32>

Each balanced node’s LUT level: 0 for an input.

luts: Vec<Lut>

The cover: a LUT for each node an output needs, in reverse topological order.

Trait Implementations

impl Clone for Mapping

fn clone(&self) -> Mapping

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Mapping

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

Formats the value using the given formatter.