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
1.5.2