Type Alias AigNodeRef

pub type AigNodeRef = Rc<RefCell<AigNode>>;

A wrapper for AIG nodes to allow multiple references to it.

Aliased Type

pub struct AigNodeRef { /* private fields */ }