Function cudd_sys::Cudd_ShuffleHeap [] [src]

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