Function cudd_sys::Cudd_bddRead [] [src]

pub unsafe extern "C" fn Cudd_bddRead(
    fp: *mut FILE,
    dd: *mut DdManager,
    E: *mut *mut DdNode,
    x: *mut *mut *mut DdNode,
    y: *mut *mut *mut DdNode,
    nx: *mut c_int,
    ny: *mut c_int,
    m: *mut c_int,
    n: *mut c_int,
    bx: c_int,
    sx: c_int,
    by: c_int,
    sy: c_int
) -> c_int