pub type NodeId = u64;Expand description
A node id.
The constant node AigNode::False has id 0 by convention. Also, id must be unique.
pub type NodeId = u64;A node id.
The constant node AigNode::False has id 0 by convention. Also, id must be unique.