Enum AigNode

pub enum AigNode {
    False,
    Input(NodeId),
    Latch {
        id: NodeId,
        next: AigEdge,
        init: Option<bool>,
    },
    And {
        id: NodeId,
        fanin0: AigEdge,
        fanin1: AigEdge,
    },
}

An AIG node.

Each node has an id. By convention, id for constant node False is 0. The id must be unique.

Variants

False

The constant low/false signal.

Input(NodeId)

A primary input.

Latch

A latch (for sequential circuits).

Fields

id: NodeId

next: AigEdge

init: Option<bool>

And

An AND gate with two fanins.

Fields

id: NodeId

fanin0: AigEdge

fanin1: AigEdge

Implementations

impl AigNode

pub fn get_id(&self) -> NodeId

Trait Implementations

impl Clone for AigNode

fn clone(&self) -> AigNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AigNode

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

Formats the value using the given formatter.

impl PartialEq for AigNode

fn eq(&self, other: &AigNode) -> bool

Tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for AigNode

impl StructuralPartialEq for AigNode