-
- if (min.first == -1)
- return std::make_pair(-1, -1000);
- return min;
- }
-
- std::pair<aid_t, double> next_transition() const override { return best_transition(true); }
-
- void execute_next(aid_t aid, RemoteApp& app) override
- {
- auto actor = actors_to_run_.at(aid);
- if (actor.get_transition(actor.get_times_considered())->type_ == Transition::Type::TESTANY) {
- TestAnyTransition* transition =
- static_cast<TestAnyTransition*>(actor.get_transition(actor.get_times_considered()));
- if (not transition->result()) {
- penalties_[aid] = penalties_[aid] + 1.0;
- return;
- }
- }
- penalties_[aid] = 0;