| basedir | World | [private] |
| current() | World | [inline, static] |
| current_ | World | [private, static] |
| description | World | [private] |
| get_basedir() const | World | |
| get_level_filename(unsigned int i) const | World | |
| get_num_levels() const | World | |
| get_player_status() const | World | [inline] |
| get_title() const | World | |
| hide_from_contribs | World | |
| is_levelset | World | |
| levels | World | [private] |
| load(const std::string &filename) | World | |
| load_state() | World | |
| player_status | World | [private] |
| run() | World | |
| save_state() | World | |
| savegame_filename | World | [private] |
| set_savegame_filename(const std::string &filename) | World | |
| state_table | World | [private] |
| title | World | [private] |
| World() | World | |
| world_thread | World | [private] |
| ~World() | World |
1.5.1