// $Id$
-//
+//
// SuperTux
// Copyright (C) 2004 Ingo Ruhnke <grumbel@gmx.de>
// Copyright (C) 2006 Christoph Sommer <christoph.sommer@2006.expires.deltadevelopment.de>
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
-//
+//
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
Vector get_next_tile(Vector pos, Direction direction);
const Tile* at(Vector pos);
+ size_t level_count();
+ size_t solved_level_count();
+
/**
* gets called from the GameSession when a level has been successfully
* finished
*/
void loadmap(const std::string& filename);
- const std::string& get_world_title() const
+ const std::string& get_title() const
{ return name; }
void set_map_filename(std::string filename)