167 data_typet::const_iterator it;
168 std::map<unsigned, std::set<source_locationt> > classed;
170 for(it=
data.cbegin(); it!=
data.cend(); ++it)
172 if(classed.find(it->eq_class)==classed.end())
174 std::set<source_locationt> s;
176 classed[it->eq_class]=s;
179 classed[it->eq_class].insert(it->loc);
182 for(std::map<
unsigned, std::set<source_locationt> >::const_iterator
183 m_it=classed.begin();
184 m_it!=classed.end(); ++m_it)
187 std::set<source_locationt>::const_iterator l_it;
188 for(l_it=m_it->second.begin(); l_it!=m_it->second.end(); ++l_it)