00001 00025 #ifndef DMN_ID_H 00026 #define DMN_ID_H 1 00027 00028 #include <set> 00029 00030 namespace dmn 00031 { 00035 typedef unsigned short ID; 00036 00040 const ID ID_NULL = 0; 00041 00045 class IDs 00046 { 00047 private: 00048 std::set<ID> ids_; 00049 00050 public: 00056 ID create(); 00057 00065 bool destroy(ID id); 00066 00074 bool exist(ID id); 00075 00081 unsigned short size(); 00082 }; 00083 }; 00084 00085 #endif // DMN_ID_H