implementing the fetch of name ids in shared memory

This commit is contained in:
Dennis Luxen 2013-10-01 13:25:11 +02:00
parent e2f84d1acd
commit 252113c838

View File

@ -302,7 +302,9 @@ public:
unsigned GetCheckSum() const { return m_check_sum; }
unsigned GetNameIndexFromEdgeID(const unsigned id) const { return 0; };
unsigned GetNameIndexFromEdgeID(const unsigned id) const {
return m_name_ID_list.at(id);
};
void GetName( const unsigned name_id, std::string & result ) const {
if(UINT_MAX == name_id) {