X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ab8e2fe95944fb998edd6e95d1022a05175c4f92..831de10adaaf8910940aa280e2ac2dd075b5ffe5:/src/mc/mc_comm_pattern.h diff --git a/src/mc/mc_comm_pattern.h b/src/mc/mc_comm_pattern.h index c84643cb27..5721626757 100644 --- a/src/mc/mc_comm_pattern.h +++ b/src/mc/mc_comm_pattern.h @@ -8,9 +8,7 @@ #define SIMGRID_MC_COMM_PATTERN_H #include -#include -#include #include #include @@ -36,7 +34,7 @@ struct PatternCommunicationList { SG_BEGIN_DECL() /** - * Type: `xbt_dynar_t` + * Type: `xbt_dynar_t` */ extern XBT_PRIVATE xbt_dynar_t initial_communications_pattern; @@ -80,9 +78,7 @@ static inline e_mc_call_type_t MC_get_call_type(smx_simcall_t req) } } -XBT_PRIVATE void MC_get_comm_pattern(xbt_dynar_t communications_pattern, smx_simcall_t request, e_mc_call_type_t call_type, int backtracking); XBT_PRIVATE void MC_handle_comm_pattern(e_mc_call_type_t call_type, smx_simcall_t request, int value, xbt_dynar_t current_pattern, int backtracking); -XBT_PRIVATE void MC_complete_comm_pattern(xbt_dynar_t list, smx_synchro_t comm_addr, unsigned int issuer, int backtracking); XBT_PRIVATE void MC_restore_communications_pattern(simgrid::mc::State* state);