Function Cudd_Not 

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

Complements a DD node by flipping the complement attribute of the pointer (the least significant bit).

Safety

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