X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9dbeb2372ad9a123d0558132ebb6e003e10aa641..0fbb2ce49d807800629638bb182ef8cc159a77bf:/src/mc/mc_hash.hpp

diff --git a/src/mc/mc_hash.hpp b/src/mc/mc_hash.hpp
index bcf43c46bd..67505c5da0 100644
--- a/src/mc/mc_hash.hpp
+++ b/src/mc/mc_hash.hpp
@@ -7,28 +7,19 @@
 #ifndef SIMGRID_MC_HASH_HPP
 #define SIMGRID_MC_HASH_HPP
 
-#include <stdio.h>
-#include <stdint.h>
-
+#include <cstdint>
 #include <vector>
 
 #include "xbt/misc.h"
 #include "mc_snapshot.h"
 
-/** \brief Hash the current state
- *  \param num_state number of states
- *  \param stacks stacks (mc_snapshot_stak_t) used fot the stack unwinding informations
- *  \result resulting hash
- * */
-XBT_INTERNAL uint64_t mc_hash_processes_state(
-  int num_state, std::vector<s_mc_snapshot_stack_t> const& stacks);
-
-/** @brief Dump the stacks of the application processes
- *
- *   This functions is currently not used but it is quite convenient
- *   to call from the debugger.
- *
- *   Does not work when an application thread is running.
- */
+namespace simgrid {
+namespace mc {
+
+typedef std::uint64_t hash_type;
+XBT_PRIVATE hash_type hash(simgrid::mc::Snapshot const& snapshot);
+
+}
+}
 
 #endif