equal
deleted
inserted
replaced
218 /// Build the unique map. It is called by the |
218 /// Build the unique map. It is called by the |
219 /// \c AlterationNotifier. |
219 /// \c AlterationNotifier. |
220 virtual void build() { |
220 virtual void build() { |
221 Map::build(); |
221 Map::build(); |
222 Item it; |
222 Item it; |
223 const Graph* graph = Map::getGraph(); |
223 const typename Map::Graph* graph = Map::getGraph(); |
224 for (graph->first(it); it != INVALID; graph->next(it)) { |
224 for (graph->first(it); it != INVALID; graph->next(it)) { |
225 Map::set(it, invMap.size()); |
225 Map::set(it, invMap.size()); |
226 invMap.push_back(it); |
226 invMap.push_back(it); |
227 } |
227 } |
228 } |
228 } |