Fawkes API
Fawkes Development Version
|
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;
LockPtr<> is a reference-counting shared lockable smartpointer.
Thread cannot be initialized.
const char * name() const
Get name of thread.
ClingoManagerAspectIniFin(void)
Constructor.
~ClingoManagerAspectIniFin(void)
Destructor.
void set_control_manager(LockPtr< ClingoControlManager > &clingo_ctrl_mgr)
Set Clingo control manger.
Aspect initializer/finalizer base class.
Thread aspect to access the Clingo Control manager.
Fawkes library namespace.
void init(Thread *thread) override
Initialize thread.
Thread class encapsulation of pthreads.
void finalize(Thread *thread) override
Finalize thread.
Thread cannot be finalized.