Fawkes API
Fawkes Development Version
|
23 #ifndef __PLUGINS_ASP_ASPECT_CLINGO_MANAGER_INIFIN_H_
24 #define __PLUGINS_ASP_ASPECT_CLINGO_MANAGER_INIFIN_H_
26 #include <aspect/inifins/inifin.h>
27 #include <core/utils/lockptr.h>
31 class ClingoControlManager;
LockPtr<> is a reference-counting shared lockable smartpointer.
ClingoManagerAspectIniFin(void)
Constructor.
~ClingoManagerAspectIniFin(void)
Destructor.
void set_control_manager(LockPtr< ClingoControlManager > &clingo_ctrl_mgr)
Set Clingo control manger.
Aspect initializer/finalizer base class.
Fawkes library namespace.
void init(Thread *thread) override
Initialize thread.
Thread class encapsulation of pthreads.
ClingoManagerAspect initializer/finalizer.
void finalize(Thread *thread) override
Finalize thread.