Cudd_bddPickOneCube

cudd_sys::cudd

Function Cudd_bddPickOneCube 

Source 
pub unsafe extern "C" fn Cudd_bddPickOneCube(
    ddm: *mut DdManager,
    node: *mut DdNode,
    string: *mut c_char,
) -> c_int