Function cudd_sys::Cudd_NodeReadIndex [] [src]

pub unsafe extern "C" fn Cudd_NodeReadIndex(node: *mut DdNode) -> c_uint