Cudd_SetMaxGrowth

Function Cudd_SetMaxGrowth 

Source
pub unsafe extern "C" fn Cudd_SetMaxGrowth(
    dd: *mut DdManager,
    mg: c_double,
) -> c_void