gui/mapstorage.cc
changeset 1441 fd4b6f6d592a
parent 1435 8e85e6bbefdf
child 1442 1e3c69aa035b
equal deleted inserted replaced
0:e583b5d8b0c4 1:47cf68b1df92
     7     Graph::EdgeMap<double> emd(g);
     7     Graph::EdgeMap<double> emd(g);
     8     default_edgemaps.push_back(emd);
     8     default_edgemaps.push_back(emd);
     9     Graph::NodeMap<double> nmd(g);
     9     Graph::NodeMap<double> nmd(g);
    10     default_nodemaps.push_back(nmd);
    10     default_nodemaps.push_back(nmd);
    11   }
    11   }
    12 
       
    13   //std::string defaultstr="Default ";
       
    14   for(int i=0;i<PROPERTY_NUM;i++)
    12   for(int i=0;i<PROPERTY_NUM;i++)
    15   {
    13   {
    16       for (EdgeIt j(g); j!=INVALID; ++j)
    14       for (EdgeIt j(g); j!=INVALID; ++j)
    17       {
    15       {
    18 	(default_edgemaps[i])[j]=property_defaults[i];
    16 	(default_edgemaps[i])[j]=property_defaults[i];
    25 int MapStorage::addNodeMap(const std::string & name, Graph::NodeMap<double> *nodemap)
    23 int MapStorage::addNodeMap(const std::string & name, Graph::NodeMap<double> *nodemap)
    26 {
    24 {
    27   nodemap_storage[name]=nodemap;
    25   nodemap_storage[name]=nodemap;
    28   return 0;
    26   return 0;
    29 }
    27 }
       
    28 
    30 int MapStorage::addEdgeMap(const std::string & name, Graph::EdgeMap<double> *edgemap)
    29 int MapStorage::addEdgeMap(const std::string & name, Graph::EdgeMap<double> *edgemap)
    31 {
    30 {
    32   edgemap_storage[name]=edgemap;
    31   edgemap_storage[name]=edgemap;
    33   return 0;
    32   return 0;
    34 }
    33 }