pub unsafe extern "C" fn Cudd_ClassifySupport( dd: *mut DdManager, f: *mut DdNode, g: *mut DdNode, common: *mut *mut DdNode, onlyF: *mut *mut DdNode, onlyG: *mut *mut DdNode, ) -> c_int