gui/mapstorage.cc
changeset 1644 62548b317e65
parent 1634 910b1bcb7d05
child 1645 4a04bb856ac7
equal deleted inserted replaced
10:eca994afccf9 11:3382924ec46d
   114     }
   114     }
   115   }
   115   }
   116   return min;
   116   return min;
   117 }
   117 }
   118 
   118 
   119 void MapStorage::initMapsForEdge(Graph::Edge e)
   119 void MapStorage::initMapsForEdge(Edge e)
   120 {
   120 {
   121   std::map< std::string,Graph::EdgeMap<double> * >::iterator ems_it;
   121   std::map< std::string,Graph::EdgeMap<double> * >::iterator ems_it;
   122   for(ems_it=edgemap_storage.begin();ems_it!=edgemap_storage.end();ems_it++)
   122   for(ems_it=edgemap_storage.begin();ems_it!=edgemap_storage.end();ems_it++)
   123     {
   123     {
   124       (*((*ems_it).second))[e]=5;
   124       (*((*ems_it).second))[e]=5;