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