Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dpor
[simgrid.git] / include / instr / jedule / jedule_output.h
1 /*
2  * jedule_output.h
3  *
4  *  Created on: Nov 30, 2010
5  *      Author: sascha
6  */
7
8 #ifndef JEDULE_OUTPUT_H_
9 #define JEDULE_OUTPUT_H_
10
11 #include "simgrid_config.h"
12
13 #include <stdio.h>
14
15 #include "jedule_events.h"
16 #include "jedule_platform.h"
17
18 #ifdef HAVE_JEDULE
19
20 extern xbt_dynar_t jedule_event_list;
21
22 void jedule_init_output(void);
23
24 void jedule_cleanup_output(void);
25
26 void jedule_store_event(jed_event_t event);
27
28 void write_jedule_output(FILE *file, jedule_t jedule,
29     xbt_dynar_t event_list, xbt_dict_t meta_info_dict);
30
31 #endif
32
33 #endif /* JEDULE_OUTPUT_H_ */