CVC3: compat_hash_set.h Source File

00001 /*****************************************************************************/
00002 /*!
00003  * \file compat_hash_set.h
00004  * 
00005  * Author: Sergey Berezin
00006  * 
00007  * Created: Jan 31 02:23:26 GMT 2003
00008  *
00009  * <hr>
00010  *
00011  * License to use, copy, modify, sell and/or distribute this software
00012  * and its documentation for any purpose is hereby granted without
00013  * royalty, subject to the terms and conditions defined in the \ref
00014  * LICENSE file provided with this distribution.
00015  * 
00016  * <hr>
00017  * 
00018  * Compatibility header file for STL extension "hash_set".  Any other
00019  * source file that needs to use hash_set should include this instead.
00020  * 
00021  * If hash_set and hash are not defined in namespace std, we bring
00022  * them in there.  It turns out that different versions of gcc use
00023  * different namespaces for STL extensions (std, __gnu_cxx, and God
00024  * knows what'll be next).
00025  * 
00026  * This header assumes that only one of HAVE_*_HASH_SET symbols is
00027  * defined.
00028  * 
00029  * 
00030  */
00031 /*****************************************************************************/
00032 #ifndef _core_utilities_compat_hash_set_h_
00033 #define _core_utilities_compat_hash_set_h_
00034 
00035 #include "hash_set.h"
00036 namespace std {
00037   using namespace Hash;
00038 }
00039 
00040 #endif