Fawkes API
Fawkes Development Version
|
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>
33 class ClingoControlManager;
LockPtr<> is a reference-counting shared lockable smartpointer.
ASPAspect initializer/finalizer.
void init(Thread *thread) override
Initialize thread.
~ASPAspectIniFin(void)
Destructor.
Aspect initializer/finalizer base class.
Fawkes library namespace.
Thread class encapsulation of pthreads.
void finalize(Thread *thread) override
Finalize thread.
ASPAspectIniFin(void)
Constructor.
void set_control_manager(const LockPtr< ClingoControlManager > &ctrl_mgr)
Sets the control manager.