cudd_sys
pub unsafe extern "C" fn Cudd_ReadLinear( table: *mut DdManager, x: c_int, y: c_int) -> c_int