#ifndef INSTR_H_
#define INSTR_H_
-#include "simgrid_config.h"
-
#include "xbt.h"
-#include "xbt/graph.h"
#include "simgrid/msg.h"
-#include "simgrid/simdag.h"
SG_BEGIN_DECL()
XBT_PUBLIC(void) TRACE_vm_variable_set_with_time (double time, const char *vm, const char *variable, double value);
XBT_PUBLIC(void) TRACE_vm_variable_add_with_time (double time, const char *vm, const char *variable, double value);
XBT_PUBLIC(void) TRACE_vm_variable_sub_with_time (double time, const char *vm, const char *variable, double value);
-XBT_PUBLIC(xbt_dynar_t) TRACE_get_vm_variables ();
/* for host variables */
XBT_PUBLIC(void) TRACE_host_variable_declare (const char *variable);
XBT_PUBLIC(void) TRACE_host_set_state (const char *host, const char *state, const char *value);
XBT_PUBLIC(void) TRACE_host_push_state (const char *host, const char *state, const char *value);
XBT_PUBLIC(void) TRACE_host_pop_state (const char *host, const char *state);
-XBT_PUBLIC(void) TRACE_host_reset_state (const char *host, const char *state);
/* 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()