Function cudd_sys::Cudd_NextCube
[−]
[src]
pub unsafe extern "C" fn Cudd_NextCube(
gen: *mut DdGen,
cube: *mut *mut c_int,
value: *mut CUDD_VALUE_TYPE
) -> c_int