Function cudd_sys::Cudd_SetMaxCacheHard [] [src]

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