Function Cudd_Complement 

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

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

Safety

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