X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a70186f00cc3977370401b4736aac4e43c5fc689..debe4e5871c0c3d1c714bbb1bd28ba7147454aa5:/src/mc/mc_hash.hpp

diff --git a/src/mc/mc_hash.hpp b/src/mc/mc_hash.hpp
index 5362e180a3..8b1bf39afe 100644
--- a/src/mc/mc_hash.hpp
+++ b/src/mc/mc_hash.hpp
@@ -1,34 +1,22 @@
-/* Copyright (c) 2007-2015. The SimGrid Team.
- * All rights reserved.                                                     */
+/* Copyright (c) 2007-2019. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#include <stdio.h>
-#include <stdint.h>
+#ifndef SIMGRID_MC_HASH_HPP
+#define SIMGRID_MC_HASH_HPP
 
-#include <vector>
+#include "xbt/base.h"
+#include "src/mc/mc_forward.hpp"
 
-#include "xbt/misc.h"
-#include "mc_snapshot.h"
+namespace simgrid {
+namespace mc {
 
-#ifndef SIMGRID_MC_HASH_HPP
-#define SIMGRID_MC_HASH_HPP
+typedef std::uint64_t hash_type;
+
+XBT_PRIVATE hash_type hash(simgrid::mc::Snapshot const& snapshot);
 
-/** \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.
- */
+}
+}
 
 #endif