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;
ClingoManagerAspectIniFin(void)
Constructor.
void finalize(Thread *thread) override
Finalize thread.
~ClingoManagerAspectIniFin(void)
Destructor.
ClingoManagerAspect initializer/finalizer.
Fawkes library namespace.
void set_control_manager(LockPtr< ClingoControlManager > &clingo_ctrl_mgr)
Set Clingo control manger.
Thread class encapsulation of pthreads.
LockPtr<> is a reference-counting shared lockable smartpointer.
void init(Thread *thread) override
Initialize thread.
Aspect initializer/finalizer base class.