23 #include <plugins/asp/aspect/clingo_manager.h>
24 #include <plugins/asp/aspect/clingo_manager_inifin.h>
50 auto clingo_thread = dynamic_cast<ClingoManagerAspect *>(thread);
51 if (clingo_thread ==
nullptr) {
53 "but RTTI says it has not. ",
57 clingo_thread->init_ClingoManagerAspect(clingo_ctrl_mgr_);
63 auto clingo_thread = dynamic_cast<ClingoManagerAspect *>(thread);
64 if (clingo_thread ==
nullptr) {
66 "but RTTI says it has not. ",
70 clingo_thread->finalize_ClingoManagerAspect();
79 clingo_ctrl_mgr_ = clingo_ctrl_mgr;