Fawkes API
Fawkes Development Version
|
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>
LockPtr<> is a reference-counting shared lockable smartpointer.
LockPtr< ClingoControlManager > clingo_ctrl_mgr
The Clingo control manager.
void finalize_ClingoManagerAspect(void)
Finalize ASP aspect.
virtual ~ClingoManagerAspect(void)
Virtual empty destructor.
Thread aspect to access the Clingo Control manager.
Fawkes library namespace.
Fawkes aspect base class.
ClingoManagerAspect(void)
Constructor.
void init_ClingoManagerAspect(const LockPtr< ClingoControlManager > &clingo_ctrl_mgr)
Init ClingoManagerAspect.