CVC3
compat_hash_set.h
Go to the documentation of this file.
1 /*****************************************************************************/
2 /*!
3  * \file compat_hash_set.h
4  *
5  * Author: Sergey Berezin
6  *
7  * Created: Jan 31 02:23:26 GMT 2003
8  *
9  * <hr>
10  *
11  * License to use, copy, modify, sell and/or distribute this software
12  * and its documentation for any purpose is hereby granted without
13  * royalty, subject to the terms and conditions defined in the \ref
14  * LICENSE file provided with this distribution.
15  *
16  * <hr>
17  *
18  * Compatibility header file for STL extension "hash_set". Any other
19  * source file that needs to use hash_set should include this instead.
20  *
21  * If hash_set and hash are not defined in namespace std, we bring
22  * them in there. It turns out that different versions of gcc use
23  * different namespaces for STL extensions (std, __gnu_cxx, and God
24  * knows what'll be next).
25  *
26  * This header assumes that only one of HAVE_*_HASH_SET symbols is
27  * defined.
28  *
29  *
30  */
31 /*****************************************************************************/
32 #ifndef _core_utilities_compat_hash_set_h_
33 #define _core_utilities_compat_hash_set_h_
34 
35 #include "hash_set.h"
36 namespace std {
37  using namespace Hash;
38 }
39 
40 #endif