Function Cudd_CheckZeroRef

Source
pub unsafe extern "C" fn Cudd_CheckZeroRef(
    manager: *mut DdManager,
) -> c_int