- void Print(std::ostream &os = std::cout);
- void Write(std::ofstream *fp, FileType filetype);
+ 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(); }