Function cudd_sys::Cudd_zddShuffleHeap [] [src]

pub unsafe extern "C" fn Cudd_zddShuffleHeap(
    table: *mut DdManager,
    permutation: *mut c_int
) -> c_int