Cudd_CheckZeroRef

Function Cudd_CheckZeroRef 

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