Type Alias NodeId

Source
pub type NodeId = u64;
Expand description

A node id.

The constant node AigNode::False has id 0 by convention. Also, id must be unique.