src/node/node.h
changeset 1364 7866d4dd9e64
parent 1341 f685d4bf320f
child 1383 12f30b7defb4
--- a/src/node/node.h	Mon Aug 27 14:06:11 2007 +0200
+++ b/src/node/node.h	Mon Aug 27 14:59:50 2007 +0200
@@ -44,6 +44,7 @@
   NodeNetDeviceIndex (uint32_t index);
   uint32_t Get (void) const;
   void Print (std::ostream &os) const;
+  std::string GetName (void) const;
   static uint16_t GetUid (void);
 private:
   uint32_t m_index;