Function cudd_sys::Cudd_DumpDDcal [] [src]

pub unsafe extern "C" fn Cudd_DumpDDcal(
    dd: *mut DdManager,
    n: c_int,
    f: *mut *mut DdNode,
    inames: *const *const c_char,
    onames: *const *const c_char,
    fp: *mut FILE
) -> c_int