/* Copyright (c) 1993 by Sanjay Ghemawat */

#ifndef _UID_H
#define _UID_H

#include "hashfuncs.h"
#include "openhashset.h"

extern char const* uid_new();
    // effects - Return new uid.  The returned string is allocated
    //		 via new char[...] and should be deleted by the caller
    //		 when the caller is done using it.

// Set of uids
#define equal_uid(a,b) (strcmp((a),(b)) == 0)
declareOpenHashSet(UidSet,char const*,hash_string,equal_uid)

#endif /* _UID_H */
