pointer.h
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019 #include <clipsmm/clipsmm-config.h>
00020
00021 #ifndef CLIPSPOINTER
00022 #define CLIPSPOINTER
00023
00024 #ifdef CLIPSMM_USE_BOOST_SMART_POINTER
00025 #include <boost/shared_ptr.hpp>
00026
00027 #define CLIPSPointer boost::shared_ptr
00028 #define CLIPSWeakPointer boost::weak_ptr
00029 #define clips_static_pointer_cast boost::static_pointer_cast
00030 #define clips_const_pointer_cast boost::const_pointer_cast
00031 #define clips_dynamic_pointer_cast boost::dynamic_pointer_cast
00032 #else
00033 #ifdef CLIPSMM_USE_CXX0X_SMART_POINTER
00034 #include <memory>
00035 #define CLIPSPointer std::shared_ptr
00036 #define CLIPSWeakPointer std::weak_ptr
00037 #define clips_static_pointer_cast std::static_pointer_cast
00038 #define clips_const_pointer_cast std::const_pointer_cast
00039 #define clips_dynamic_pointer_cast std::dynamic_pointer_cast
00040 #else
00041 #include <typeinfo>
00042 #include <memory>
00043 #include <functional>
00044 #include <bits/concurrence.h>
00045 #include <ext/mt_allocator.h>
00046 #include <tr1/boost_shared_ptr.h>
00047 #define CLIPSPointer std::tr1::shared_ptr
00048 #define CLIPSWeakPointer std::tr1::weak_ptr
00049 #define clips_static_pointer_cast std::tr1::static_pointer_cast
00050 #define clips_const_pointer_cast std::tr1::const_pointer_cast
00051 #define clips_dynamic_pointer_cast std::tr1::dynamic_pointer_cast
00052 #endif
00053 #endif
00054
00055 #endif