Add `udpor` namespace

diff --git a/src/mc/explo/UdporChecker.cpp b/src/mc/explo/UdporChecker.cpp
index d649460..726c0af 100644 (file)
--- a/src/mc/explo/UdporChecker.cpp
+++ b/src/mc/explo/UdporChecker.cpp
@@ -8,7 +8,7 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_udpor, mc, "Logging specific to MC safety verification ");
 
-namespace simgrid::mc {
+namespace simgrid::mc::udpor {
 
 UdporChecker::UdporChecker(const std::vector<char*>& args) : Exploration(args)
 {
@@ -166,9 +166,13 @@ std::vector<std::string> UdporChecker::get_textual_trace()
   return trace;
 }
 
+} // namespace simgrid::mc::udpor
+
+namespace simgrid::mc {
+
 Exploration* create_udpor_checker(const std::vector<char*>& args)
 {
-  return new UdporChecker(args);
+  return new simgrid::mc::udpor::UdporChecker(args);
 }
 
 } // namespace simgrid::mc

diff --git a/src/mc/explo/UdporChecker.hpp b/src/mc/explo/UdporChecker.hpp
index fec1146..a629aec 100644 (file)
--- a/src/mc/explo/UdporChecker.hpp
+++ b/src/mc/explo/UdporChecker.hpp
@@ -13,7 +13,7 @@
 
 #include <optional>
 
-namespace simgrid::mc {
+namespace simgrid::mc::udpor {
 
 /**
  * @brief Performs exploration of a concurrent system via the
@@ -128,6 +128,6 @@ private:
    */
   void clean_up_explore(const UnfoldingEvent* e, const EventSet& C, const EventSet& D);
 };
-} // namespace simgrid::mc
+} // namespace simgrid::mc::udpor
 
 #endif

diff --git a/src/mc/udpor_global.cpp b/src/mc/udpor_global.cpp
index b1bfb05..1177ff3 100644 (file)
--- a/src/mc/udpor_global.cpp
+++ b/src/mc/udpor_global.cpp
@@ -9,8 +9,8 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_udpor_global, mc, "udpor_global");
 
-namespace simgrid::mc {
+namespace simgrid::mc::udpor {
 
 // TODO: Implement methods on EventSet as appropriate
 
-} // namespace simgrid::mc
+} // namespace simgrid::mc::udpor

diff --git a/src/mc/udpor_global.hpp b/src/mc/udpor_global.hpp
index ac4a781..a7892ad 100644 (file)
--- a/src/mc/udpor_global.hpp
+++ b/src/mc/udpor_global.hpp
@@ -15,7 +15,7 @@
 
 /* TODO: many method declared in this module are not implemented */
 
-namespace simgrid::mc {
+namespace simgrid::mc::udpor {
 
 class UnfoldingEvent;
 class Configuration;
@@ -135,5 +135,5 @@ public:
   Handle record_state(const std::unique_ptr<State>&&);
 };
 
-} // namespace simgrid::mc
+} // namespace simgrid::mc::udpor
 #endif