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>
31class ClingoControlManager;
Aspect initializer/finalizer base class.
ClingoManagerAspect initializer/finalizer.
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.
LockPtr<> is a reference-counting shared lockable smartpointer.
Thread class encapsulation of pthreads.
Fawkes library namespace.