+ ElementSet(int);
+ ~ElementSet();
+
+ virtual void Print(std::ostream &os = std::cout,
+ std::string const &indent = "" );
+
+ void WriteContent(std::ofstream *fp, FileType filetype);
+
+ bool AddEntry(DocEntry *Entry);
+ bool RemoveEntry(DocEntry *EntryToRemove);
+ bool RemoveEntryNoDestroy(DocEntry *EntryToRemove);
+ void ClearEntry();
+
+ DocEntry *GetFirstEntry();
+ DocEntry *GetNextEntry();
+ DocEntry *GetDocEntry(uint16_t group, uint16_t elem);
+ /// Tells us if the ElementSet contains no entry
+ bool IsEmpty() { return TagHT.empty(); };