gui/mapstorage.h
changeset 1884 9c061834b33b
parent 1878 409a31271efd
child 1888 eed01ce27087
equal deleted inserted replaced
11:19ed9f179586 12:9300c4203cb4
   131   std::map< std::string,Graph::NodeMap<double> * >::iterator endOfNodeMaps(){return nodemap_storage.end();};
   131   std::map< std::string,Graph::NodeMap<double> * >::iterator endOfNodeMaps(){return nodemap_storage.end();};
   132 
   132 
   133   ///To be able to iterate through each maps this function returns an iterator pointing to the last edgemap in the storage.
   133   ///To be able to iterate through each maps this function returns an iterator pointing to the last edgemap in the storage.
   134   std::map< std::string,Graph::EdgeMap<double> * >::iterator endOfEdgeMaps(){return edgemap_storage.end();};
   134   std::map< std::string,Graph::EdgeMap<double> * >::iterator endOfEdgeMaps(){return edgemap_storage.end();};
   135 
   135 
       
   136   void mapChanged(bool, std::string);
       
   137 
   136   int readFromFile(const std::string &);
   138   int readFromFile(const std::string &);
   137   void writeToFile(const std::string &);
   139   void writeToFile(const std::string &);
   138 
   140 
   139   void clear();
   141   void clear();
   140 
   142