39
37
void set_desired_speed(uint32_t speed) override;
40
38
bool is_paused() override;
41
39
void set_paused(bool paused) override;
42
void report_result(uint8_t player, Widelands::PlayerEndResult result, const std::string & info) override;
51
51
uint32_t player_cmdserial_;
52
52
Widelands::PlayerNumber local_;
56
56
#endif // end of include guard: WL_LOGIC_SINGLE_PLAYER_GAME_CONTROLLER_H