Struct quaigh::network::Network

pub struct Network { /* private fields */ }

Representation of a logic network as a gate-inverter-graph, used as the main representation for all logic manipulations

Implementations

impl Network

pub fn new() -> Self

Create a new network

pub fn nb_inputs(&self) -> usize

Return the number of primary inputs

pub fn nb_outputs(&self) -> usize

Return the number of primary outputs

pub fn nb_nodes(&self) -> usize

Return the number of nodes in the network

pub fn input(&self, i: usize) -> Signal

Get the input at index i

pub fn output(&self, i: usize) -> Signal

Get the output at index i

pub fn node(&self, i: usize) -> Signal

Get the variable at index i

pub fn gate(&self, i: usize) -> &Gate

Get the gate at index i

pub fn add_input(&mut self) -> Signal

Add a new primary input

pub fn add_inputs(&mut self, nb: usize)

Add multiple primary inputs

pub fn add_output(&mut self, l: Signal)

Add a new primary output based on an existing literal

pub fn and(&mut self, a: Signal, b: Signal) -> Signal

Create an And2 gate

pub fn xor(&mut self, a: Signal, b: Signal) -> Signal

Create a Xor2 gate

pub fn dff(&mut self, data: Signal, enable: Signal, reset: Signal) -> Signal

Create a Dff gate (flip flop)

pub fn add_canonical(&mut self, gate: Gate) -> Signal

Add a new gate, and make it canonical. The gate may be simplified immediately

pub fn add(&mut self, gate: Gate) -> Signal

Add a new gate

pub fn replace(&mut self, i: usize, gate: Gate) -> Signal

Replace an existing gate

pub fn is_comb(&self) -> bool

Return whether the network is purely combinatorial

pub fn shuffle(&mut self, seed: u64) -> Box<[Signal]>

Shuffle the network randomly; this will invalidate all signals

Returns the mapping of old variable indices to signals, if needed.

pub fn cleanup(&mut self) -> Box<[Signal]>

Remove unused logic; this will invalidate all signals

Returns the mapping of old variable indices to signals, if needed. Removed signals are mapped to zero.

pub fn make_canonical(&mut self) -> Box<[Signal]>

Remove duplicate logic and make all gates canonical; this will invalidate all signals

Canonical gates are And, Xor, Mux, Maj and Lut. Everything else will be simplified. Returns the mapping of old variable indices to signals, if needed.

pub fn deduplicate(&mut self) -> Box<[Signal]>

Remove duplicate logic; this will invalidate all signals

Returns the mapping of old variable indices to signals, if needed.

pub fn check(&self)

Check consistency of the datastructure

Trait Implementations

impl Clone for Network

fn clone(&self) -> Network

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Network

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

Formats the value using the given formatter.

impl Default for Network

fn default() -> Network

Returns the “default value” for a type.

impl Display for Network

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

Formats the value using the given formatter.