-XBT_PUBLIC(void) xbt_matrix_dump(xbt_matrix_t matrix, const char *name,
- int coords, void_f_pvoid_t display_fun);
-XBT_PUBLIC(void) xbt_matrix_dump_display_double(void *d);
+XBT_PUBLIC(void) xbt_matrix_copy_values(xbt_matrix_t dest, xbt_matrix_t src, unsigned int lsize, unsigned int rsize,
+ unsigned int lpos_dst, unsigned int rpos_dst, unsigned int lpos_src,
+ unsigned int rpos_src, pvoid_f_pvoid_t const cpy_f);