#include <clipsmm/clipsmm-config.h>
#include <typeinfo>
#include <memory>
#include <functional>
#include <bits/concurrence.h>
#include <ext/mt_allocator.h>
#include <tr1/boost_shared_ptr.h>
Go to the source code of this file.
Defines | |
#define | CLIPSPointer std::tr1::shared_ptr |
#define | CLIPSWeakPointer std::tr1::weak_ptr |
#define | clips_static_pointer_cast std::tr1::static_pointer_cast |
#define | clips_const_pointer_cast std::tr1::const_pointer_cast |
#define | clips_dynamic_pointer_cast std::tr1::dynamic_pointer_cast |
#define clips_const_pointer_cast std::tr1::const_pointer_cast |
#define clips_dynamic_pointer_cast std::tr1::dynamic_pointer_cast |
#define clips_static_pointer_cast std::tr1::static_pointer_cast |
#define CLIPSPointer std::tr1::shared_ptr |
#define CLIPSWeakPointer std::tr1::weak_ptr |