CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
compat_hash_map.h
Go to the documentation of this file.
1
/*****************************************************************************/
2
/*!
3
* \file compat_hash_map.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_map". Any other
19
* source file that needs to use hash_map should include this instead.
20
*
21
* If hash_map is not defined in namespace std, we bring it in there.
22
* It turns out that different versions of gcc use different
23
* namespaces for STL extensions (std, __gnu_cxx, and God knows
24
* what'll be next).
25
*
26
* This header assumes that only one of HAVE_*_HASH_MAP symbols is
27
* defined.
28
*
29
*/
30
/*****************************************************************************/
31
#ifndef _cvc3__include__compat_hash_map_h_
32
#define _cvc3__include__compat_hash_map_h_
33
34
#include "
hash_map.h
"
35
namespace
std {
36
using namespace
Hash;
37
}
38
39
#endif
Generated on Tue May 14 2013 09:02:05 for CVC3 by
1.8.3.1