Function cudd_sys::Cudd_zddCoverPathToString [−] [src]

pub unsafe extern "C" fn Cudd_zddCoverPathToString(
    zdd: *mut DdManager, 
    path: *mut c_int, 
    str: *mut c_char
) -> *mut c_char