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