Cudd_SetMaxCacheHard

Function Cudd_SetMaxCacheHard 

Source
pub unsafe extern "C" fn Cudd_SetMaxCacheHard(
    dd: *mut DdManager,
    mc: c_uint,
) -> c_void