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