vdbl_dbs.h Source File

00001 /* NOTE: This is an internal header file, included by other VDBL headers.
00002  *   You should not attempt to use it directly.
00003  */
00004 
00005 #ifndef __VDBL_DBS_H
00006 #define __VDBL_DBS_H
00007 
00008 #include <algorithm>
00009 #include <map>
00010 #include <vector>
00011 #include <vdbl_helpers.h>
00012 
00013 __VDBL_BEGIN_NAMESPACE
00014 
00015 #if defined(__sgi) && !defined(__GNUC__) && (_MIPS_SIM != _MIPS_SIM_ABI32)
00016 #pragma set woff 1209
00017 #endif
00018 
00019 #if defined(__sgi) && !defined(__GNUC__) && (_MIPS_SIM != _MIPS_SIM_ABI32)
00020 #pragma reset woff 1209
00021 #endif
00022 
00023 __VDBL_END_NAMESPACE
00024 
00025 #endif /* __VDBL_DBS_H */
00026 
00027 // Local Variables:
00028 // mode:C++
00029 // End: