X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f0534a5e2af72c36c12d55f7ea323040e6e9bf36..7e625e5e848a284b522d69ec28cb111f1f88515b:/src/mc/transition/TransitionRandom.hpp diff --git a/src/mc/transition/TransitionRandom.hpp b/src/mc/transition/TransitionRandom.hpp index 374d69def4..27d9757a27 100644 --- a/src/mc/transition/TransitionRandom.hpp +++ b/src/mc/transition/TransitionRandom.hpp @@ -24,6 +24,7 @@ public: return aid_ == other->aid_; } // Independent with any other transition + bool reversible_race(const Transition* other) const override; }; } // namespace simgrid::mc