Cudd_BddToCubeArray

cudd_sys::cudd

Function Cudd_BddToCubeArray 

Source 
pub unsafe extern "C" fn Cudd_BddToCubeArray(
    dd: *mut DdManager,
    cube: *mut DdNode,
    array: *mut c_int,
) -> c_int