Function cudd_sys::Cudd_bddNewVar [] [src]

pub unsafe extern "C" fn Cudd_bddNewVar(dd: *mut DdManager) -> *mut DdNode