}
}
+const char *TRACE_node_name (xbt_node_t node)
+{
+ void *data = xbt_graph_node_get_data(node);
+ char *str = (char*)data;
+ return str;
+}
+
+xbt_graph_t TRACE_platform_graph (void)
+{
+ if (!TRACE_is_active())
+ return NULL;
+
+ return instr_routing_platform_graph ();
+}
+
+void TRACE_platform_graph_export_graphviz (xbt_graph_t g, const char *filename)
+{
+ instr_routing_platform_graph_export_graphviz (g, filename);
+}
+
#endif /* HAVE_TRACING */