Function Cudd_IsComplement 

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

Returns 1 if a pointer is complemented.

Safety

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