Function cudd_sys::Cudd_IsGenEmpty [] [src]

pub unsafe extern "C" fn Cudd_IsGenEmpty(gen: *mut DdGen) -> c_int