var group__TRACE__API =
[
    [ "Tracing categories", "group__TRACE__category.html", "group__TRACE__category" ],
    [ "Tracing marks", "group__TRACE__mark.html", "group__TRACE__mark" ],
    [ "Tracing user variables", "group__TRACE__user__variables.html", "group__TRACE__user__variables" ],
    [ "TRACE_platform_graph_export_graphviz", "group__TRACE__API.html#ga77e1127c6602edd4f233ca62d6de36e0", null ],
    [ "TRACE_get_node_types", "group__TRACE__API.html#ga845e0cfbd8042ac70adf394df024e350", null ],
    [ "TRACE_get_edge_types", "group__TRACE__API.html#gaf5542d615046120aa8a3526268b9fa7f", null ],
    [ "TRACE_pause", "group__TRACE__API.html#ga61801e88fcc9c8963c3ec77d78522f74", null ],
    [ "TRACE_resume", "group__TRACE__API.html#ga636015c91ac56d3942f83321708d9105", null ]
];