app/willard/idset.h

   1 #ifndef id_set_h
   2 #define id_set_h
   3
   4 #include "willard-ast.ph"
   5 #include <AD/hash/lhash.h>
   6
   7 class IdSet : public LHashTable<Id, Id>
   8 {  typedef LHashTable<Id,Id> Super;
   9 public:
  10    inline void insert(Id id) { Super::insert(id,id); }
  11 };
  12
  13 #endif