Cudd_zddFirstPath

cudd_sys::cudd

Function Cudd_zddFirstPath 

Source 
pub unsafe extern "C" fn Cudd_zddFirstPath(
    zdd: *mut DdManager,
    f: *mut DdNode,
    path: *mut *mut c_int,
) -> *mut DdGen