string_set.h

// Wai Chun Leung
// wleung11
// Shineng Tang
// stang38
// $Id: string_set.h,v 1.2 2016-08-18 15:12:57-07 - - $

#ifndef __STRING_SET__
#define __STRING_SET__

#include <string>
#include <unordered_set>
using namespace std;

#include <stdio.h>

struct string_set {
   string_set();
   static unordered_set<string> set;
   static const string* intern (const char*);
   static void dump (FILE*);
};

#endif