//! Returns the internal unique identifier for this object.
/*! The return value from this isn't really useful for
** much other than debug output. Nonetheless, that is
** one step above useless, so here it is. */
const int &get_uid()const { return id_; }
//! Returns the internal unique identifier for this object.
/*! The return value from this isn't really useful for
** much other than debug output. Nonetheless, that is
** one step above useless, so here it is. */
const int &get_uid()const { return id_; }