/* for creating graph configuration files for Viva by hand */
XBT_PUBLIC(xbt_dynar_t) TRACE_get_node_types ();
XBT_PUBLIC(xbt_dynar_t) TRACE_get_edge_types ();
/* for creating graph configuration files for Viva by hand */
XBT_PUBLIC(xbt_dynar_t) TRACE_get_node_types ();
XBT_PUBLIC(xbt_dynar_t) TRACE_get_edge_types ();