Function cudd_sys::cudd::Cudd_RemapUnderApprox [−][src]
pub unsafe extern "C" fn Cudd_RemapUnderApprox(
dd: *mut DdManager,
f: *mut DdNode,
numVars: c_int,
threshold: c_int,
quality: c_double
) -> *mut DdNode