CVC3: compat_hash_map.h Source File

CVC3
00001 /*****************************************************************************/
00002 /*!
00003  * \file compat_hash_map.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_map".  Any other
00019  * source file that needs to use hash_map should include this instead.
00020  * 
00021  * If hash_map is not defined in namespace std, we bring it in there.
00022  * It turns out that different versions of gcc use different
00023  * namespaces for STL extensions (std, __gnu_cxx, and God knows
00024  * what'll be next).
00025  * 
00026  * This header assumes that only one of HAVE_*_HASH_MAP symbols is
00027  * defined.
00028  * 
00029  */
00030 /*****************************************************************************/
00031 #ifndef _cvc3__include__compat_hash_map_h_
00032 #define _cvc3__include__compat_hash_map_h_
00033 
00034 #include "hash_map.h"
00035 namespace std {
00036   using namespace Hash;
00037 }
00038 
00039 #endif