equal
deleted
inserted
replaced
13 { |
13 { |
14 XmlIo x(os); |
14 XmlIo x(os); |
15 std::map<int, xy<double> > m; |
15 std::map<int, xy<double> > m; |
16 for (EdgeIt e(mapstorage->graph); e != INVALID; ++e) |
16 for (EdgeIt e(mapstorage->graph); e != INVALID; ++e) |
17 { |
17 { |
18 int edgeid = (int)(*(mapstorage->edgemap_storage["id"]))[e]; |
18 int edgeid = (int)(*(mapstorage->edgemap_storage["label"]))[e]; |
19 m[edgeid] = mapstorage->arrow_pos[e]; |
19 m[edgeid] = mapstorage->arrow_pos[e]; |
20 } |
20 } |
21 x("arrow_pos", m); |
21 x("arrow_pos", m); |
22 } |
22 } |
23 |
23 |