X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f734ec7475682eb90323e804cbcfddd7e4523992..5eeb3c843b60e9ba5e1a952ffe83df2a4d8f5fa0:/src/mc/mc_private.hpp diff --git a/src/mc/mc_private.hpp b/src/mc/mc_private.hpp index 64a1c9a7da..b8d4f1b4cd 100644 --- a/src/mc/mc_private.hpp +++ b/src/mc/mc_private.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2007-2017. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2007-2018. 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. */ @@ -9,34 +9,26 @@ #include "mc/mc.h" #include "xbt/automaton.h" -#ifdef __cplusplus #include "src/mc/mc_forward.hpp" #include "src/xbt/memory_map.hpp" -#endif -#ifdef __cplusplus namespace simgrid { namespace mc { struct DerefAndCompareByActorsCountAndUsedHeap { - template - bool operator()(X const& a, Y const& b) + template bool operator()(X const& a, Y const& b) { return std::make_pair(a->actors_count, a->heap_bytes_used) < std::make_pair(b->actors_count, b->heap_bytes_used); } }; - } } -#endif - -SG_BEGIN_DECL() /********************************* MC Global **********************************/ XBT_PRIVATE void MC_init_dot_output(); -XBT_PRIVATE extern FILE *dot_output; +XBT_PRIVATE extern FILE* dot_output; XBT_PRIVATE void MC_show_deadlock(void); @@ -46,26 +38,18 @@ XBT_PRIVATE void MC_show_deadlock(void); #define MC_VERBOSE 1 /********************************** Miscellaneous **********************************/ - -SG_END_DECL() - -#ifdef __cplusplus - namespace simgrid { namespace mc { -XBT_PRIVATE void find_object_address( - std::vector const& maps, simgrid::mc::ObjectInformation* result); +XBT_PRIVATE void find_object_address(std::vector const& maps, + simgrid::mc::ObjectInformation* result); XBT_PRIVATE int snapshot_compare(int num1, simgrid::mc::Snapshot* s1, int num2, simgrid::mc::Snapshot* s2); // Move is somewhere else (in the LivenessChecker class, in the Session class?): extern XBT_PRIVATE xbt_automaton_t property_automaton; - } } #endif - -#endif