gui/mapstorage.h
changeset 1523 144ab0e4b09c
parent 1509 f9113440b667
child 1524 587a823bcdd0
equal deleted inserted replaced
3:c950d2270153 4:a65f2c63e73f
    16 ///\todo too many things are public!!
    16 ///\todo too many things are public!!
    17 class MapStorage
    17 class MapStorage
    18 {
    18 {
    19 public:
    19 public:
    20 
    20 
    21   Graph g;
    21   Graph &g;
    22 
    22 
    23   ///Stores double type NodeMaps
    23   ///Stores double type NodeMaps
    24   std::map< std::string,Graph::NodeMap<double> * > nodemap_storage;
    24   std::map< std::string,Graph::NodeMap<double> * > nodemap_storage;
    25 
    25 
    26   ///Stores double type EdgeMaps
    26   ///Stores double type EdgeMaps