#ifndef SIMGRID_MC_WAITSTRATEGY_HPP
#define SIMGRID_MC_WAITSTRATEGY_HPP
+#include "Strategy.hpp"
#include "src/mc/transition/Transition.hpp"
namespace simgrid::mc {
public:
WaitStrategy() = default;
~WaitStrategy() override = default;
- WaitStrategy(const BasicStrategy&) = delete;
+ WaitStrategy(const WaitStrategy&) = delete;
WaitStrategy& operator=(const WaitStrategy& guide)
{
taken_wait_ = guide.taken_wait_;