Cudd_RegisterOutOfMemoryCallback

Function Cudd_RegisterOutOfMemoryCallback 

Source
pub unsafe extern "C" fn Cudd_RegisterOutOfMemoryCallback(
    unique: *mut DdManager,
    callback: Option<DD_OUT_OF_MEMORY_FUNCTION>,
) -> Option<DD_OUT_OF_MEMORY_FUNCTION>