23#include <plugins/asp/aspect/clingo_manager.h>
24#include <plugins/asp/aspect/clingo_manager_inifin.h>
51 if (clingo_thread ==
nullptr) {
53 "but RTTI says it has not. ",
57 clingo_thread->init_ClingoManagerAspect(clingo_ctrl_mgr_);
64 if (clingo_thread ==
nullptr) {
66 "but RTTI says it has not. ",
70 clingo_thread->finalize_ClingoManagerAspect();
79 clingo_ctrl_mgr_ = clingo_ctrl_mgr;
Aspect initializer/finalizer base class.
Thread cannot be finalized.
Thread cannot be initialized.
void init(Thread *thread) override
Initialize thread.
void set_control_manager(LockPtr< ClingoControlManager > &clingo_ctrl_mgr)
Set Clingo control manger.
~ClingoManagerAspectIniFin(void)
Destructor.
void finalize(Thread *thread) override
Finalize thread.
ClingoManagerAspectIniFin(void)
Constructor.
Thread aspect to access the Clingo Control manager.
LockPtr<> is a reference-counting shared lockable smartpointer.
Thread class encapsulation of pthreads.
const char * name() const
Get name of thread.
Fawkes library namespace.