Function Cudd_NotCond 

pub unsafe fn Cudd_NotCond(node: *mut DdNode, condition: c_int) -> *mut DdNode

Complements a DD node by flipping the complement attribute of the pointer if a condition is satisfied. The condition argument must be always either 1 or 0.

Safety

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