Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename guide as strategy and fix counter-example display with recipe
[simgrid.git] / src / mc / api / strategy / BasicStrategy.hpp
similarity index 87%
rename from src/mc/api/guide/BasicGuide.hpp
rename to src/mc/api/strategy/BasicStrategy.hpp
index 62367a2..9c1a482 100644 (file)
@@ -3,15 +3,15 @@
 /* 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. */
 
-#ifndef SIMGRID_MC_BASICGUIDE_HPP
-#define SIMGRID_MC_BASICGUIDE_HPP
+#ifndef SIMGRID_MC_BASICSTRATEGY_HPP
+#define SIMGRID_MC_BASICSTRATEGY_HPP
 
 namespace simgrid::mc {
 
 /** Basic MC guiding class which corresponds to no guide at all (random choice) */
-class BasicGuide : public GuidedState {
+class BasicStrategy : public Strategy {
 public:
-  void operator=(const GuidedState&) { return; }
+  void operator=(const BasicStrategy&) { return; }
 
   std::pair<aid_t, double> next_transition() const override
   {