Function cudd_sys::Cudd_ClassifySupport
[−]
[src]
pub unsafe extern "C" fn Cudd_ClassifySupport(
dd: *mut DdManager,
f: *mut DdNode,
g: *mut DdNode,
common: *mut *mut DdNode,
onlyF: *mut *mut DdNode,
onlyG: *mut *mut DdNode
) -> c_int