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 Fri Feb 10 2017 13:33:59 for clipsmm by
1.8.13