vdbl_selector.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_SELECTOR_H
00006 #define __VDBL_SELECTOR_H
00007 
00008 #include <algorithm>
00009 #include <map>
00010 #include <vector>
00011 #include <vdbl_config.h>
00012 #include <vdbl_types.h>
00013 #include <vdbl_expression.h>
00014 
00015 __VDBL_BEGIN_NAMESPACE
00016 
00017 #if defined(__sgi) && !defined(__GNUC__) && (_MIPS_SIM != _MIPS_SIM_ABI32)
00018 #pragma set woff 1209
00019 #endif
00020 
00021 #if defined(__sgi) && !defined(__GNUC__) && (_MIPS_SIM != _MIPS_SIM_ABI32)
00022 #pragma reset woff 1209
00023 #endif
00024 
00025 __VDBL_END_NAMESPACE
00026 
00027 #endif /* __VDBL_SELECTOR_H */
00028 
00029 // Local Variables:
00030 // mode:C++
00031 // End: