24 #include <core/threading/thread_finalizer.h>
25 #include <plugins/clips/aspect/clips_env_manager.h>
26 #include <plugins/clips/aspect/clips_manager_inifin.h>
51 clips_thread = dynamic_cast<CLIPSManagerAspect *>(thread);
52 if (clips_thread == NULL) {
54 "CLIPSManagerAspect, but RTTI says it "
65 CLIPSManagerAspect *clips_thread;
66 clips_thread = dynamic_cast<CLIPSManagerAspect *>(thread);
67 if (clips_thread == NULL) {
69 "CLIPSManagerAspect, but RTTI says it "
74 clips_thread->clips_env_mgr.clear();
83 clips_env_mgr_ = clips_env_mgr;