Function cudd_sys::Cudd_SolveEqn
[−]
[src]
pub unsafe extern "C" fn Cudd_SolveEqn(
bdd: *mut DdManager,
F: *mut DdNode,
Y: *mut DdNode,
G: *mut *mut DdNode,
yIndex: *mut *mut c_int,
n: c_int
) -> *mut DdNode