mapstorage.h
branchgui
changeset 111 ab3107255754
parent 108 bf355fd6563e
child 118 cfd49e5c8723
     1.1 --- a/mapstorage.h	Fri Jan 06 10:42:58 2006 +0000
     1.2 +++ b/mapstorage.h	Fri Jan 06 13:58:49 2006 +0000
     1.3 @@ -133,6 +133,8 @@
     1.4    ///To be able to iterate through each maps this function returns an iterator pointing to the last edgemap in the storage.
     1.5    std::map< std::string,Graph::EdgeMap<double> * >::iterator endOfEdgeMaps(){return edgemap_storage.end();};
     1.6  
     1.7 +  void mapChanged(bool, std::string);
     1.8 +
     1.9    int readFromFile(const std::string &);
    1.10    void writeToFile(const std::string &);
    1.11