Function Cudd_Regular 

pub unsafe fn Cudd_Regular(node: *mut DdNode) -> *mut DdNode

Computes the regular version of a node pointer (i.e. without the complement bit set, regardless of its previous value).

Safety

This function should only be called on a valid DdNode pointer.