clipsmm - C++ CLIPS Interface Library
Go to the documentation of this file.
24 #ifdef CLIPSMM_USE_BOOST_SMART_POINTER
25 #include <boost/shared_ptr.hpp>
27 #define CLIPSPointer boost::shared_ptr
28 #define CLIPSWeakPointer boost::weak_ptr
29 #define clips_static_pointer_cast boost::static_pointer_cast
30 #define clips_const_pointer_cast boost::const_pointer_cast
31 #define clips_dynamic_pointer_cast boost::dynamic_pointer_cast
33 #ifdef CLIPSMM_USE_CXX0X_SMART_POINTER
35 #define CLIPSPointer std::shared_ptr
36 #define CLIPSWeakPointer std::weak_ptr
37 #define clips_static_pointer_cast std::static_pointer_cast
38 #define clips_const_pointer_cast std::const_pointer_cast
39 #define clips_dynamic_pointer_cast std::dynamic_pointer_cast
44 #include <bits/concurrence.h>
45 #include <ext/mt_allocator.h>
46 #include <tr1/boost_shared_ptr.h>
47 #define CLIPSPointer std::tr1::shared_ptr
48 #define CLIPSWeakPointer std::tr1::weak_ptr
49 #define clips_static_pointer_cast std::tr1::static_pointer_cast
50 #define clips_const_pointer_cast std::tr1::const_pointer_cast
51 #define clips_dynamic_pointer_cast std::tr1::dynamic_pointer_cast
Generated on Sat Apr 13 2013 10:04:52 for clipsmm by
1.8.1.1