CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
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
std
STL namespace.
Hash
Definition:
expr_hash.h:32
hash_set.h
hash map implementation
Generated on Wed Feb 18 2015 02:49:39 for CVC3 by
1.8.9.1