23 #ifndef _PLUGINS_ASP_ASPECT_CLINGO_MANAGER_H_ 24 #define _PLUGINS_ASP_ASPECT_CLINGO_MANAGER_H_ 26 #include <aspect/aspect.h> 27 #include <core/utils/lockptr.h> 28 #include <plugins/asp/aspect/clingo_control_manager.h> void finalize_ClingoManagerAspect(void)
Finalize ASP aspect.
virtual ~ClingoManagerAspect(void)
Virtual empty destructor.
Fawkes aspect base class.
Fawkes library namespace.
LockPtr<> is a reference-counting shared lockable smartpointer.
void init_ClingoManagerAspect(const LockPtr< ClingoControlManager > &clingo_ctrl_mgr)
Init ClingoManagerAspect.
Thread aspect to access the Clingo Control manager.
ClingoManagerAspect(void)
Constructor.
LockPtr< ClingoControlManager > clingo_ctrl_mgr
The Clingo control manager.