/* 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 ();
-XBT_PUBLIC(void) TRACE_pause ();
-XBT_PUBLIC(void) TRACE_resume ();
SG_END_DECL()
xbt_dynar_t TRACE_get_edge_types ()
{
return instr_dict_to_dynar (trivaEdgeTypes);
-}
-
-/** \ingroup TRACE_API
- * \brief Pauses all tracing activities.
- * \see TRACE_resume
- */
-void TRACE_pause ()
-{
- instr_pause_tracing();
-}
-
-/** \ingroup TRACE_API
- * \brief Resumes all tracing activities.
- * \see TRACE_pause
- */
-void TRACE_resume ()
-{
- instr_resume_tracing();
-}
+}
\ No newline at end of file