#include <xbt/base.h>
#include "simgrid/instr.h"
+#include "simgrid/s4u/Actor.hpp"
#include "simgrid_config.h"
#include "src/instr/instr_paje_containers.hpp"
#include "src/instr/instr_paje_events.hpp"
/* instr_paje_header.c */
XBT_PRIVATE void TRACE_header(bool basic, int size);
-/* from paje.c */
-XBT_PRIVATE void TRACE_paje_start();
-XBT_PRIVATE void TRACE_paje_end();
-
/* from instr_config.c */
XBT_PRIVATE bool TRACE_needs_platform();
XBT_PRIVATE bool TRACE_is_enabled();
void instr_new_user_state_type(std::string father_type, std::string new_typename);
void instr_new_value_for_user_state_type(std::string new_typename, const char* value, std::string color);
-/* instr_config.c */
-XBT_PRIVATE void TRACE_TI_start();
-XBT_PRIVATE void TRACE_TI_end();
XBT_PRIVATE void TRACE_global_init();
XBT_PRIVATE void TRACE_help(int detailed);