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 f59cb6417f
commit ca3464512d

View File

@ -302,7 +302,9 @@ public:
unsigned GetCheckSum() const { return m_check_sum; } 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 { void GetName( const unsigned name_id, std::string & result ) const {
if(UINT_MAX == name_id) { if(UINT_MAX == name_id) {