24#ifndef _PLUGINS_ASP_ASPECT_ASP_INIFIN_H_
25#define _PLUGINS_ASP_ASPECT_ASP_INIFIN_H_
27#include <aspect/inifins/inifin.h>
28#include <core/utils/lockptr.h>
29#include <plugins/asp/aspect/asp.h>
33class ClingoControlManager;
ASPAspect initializer/finalizer.
void set_control_manager(const LockPtr< ClingoControlManager > &ctrl_mgr)
Sets the control manager.
void init(Thread *thread) override
Initialize thread.
void finalize(Thread *thread) override
Finalize thread.
ASPAspectIniFin(void)
Constructor.
~ASPAspectIniFin(void)
Destructor.
Aspect initializer/finalizer base class.
LockPtr<> is a reference-counting shared lockable smartpointer.
Thread class encapsulation of pthreads.
Fawkes library namespace.