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