std::map<aid_t, ActorState> actors_to_run_;
public:
- virtual ~Strategy() = default;
- virtual std::pair<aid_t, double> next_transition() const = 0;
- virtual void execute_next(aid_t aid, RemoteApp& app) = 0;
- virtual void consider_best() = 0;
+ Strategy() = default;
+ virtual ~Strategy() = default;
+ Strategy(const Strategy&) = delete;
+ Strategy& operator=(const Strategy&)
+ { /* nothing to copy over while cloning */
+ return *this;
+ }
+
+ virtual std::pair<aid_t, int> next_transition() const = 0;
+ virtual void execute_next(aid_t aid, RemoteApp& app) = 0;
+ virtual void consider_best() = 0;
// Mark the first enabled and not yet done transition as todo
// If there's already a transition marked as todo, does nothing