23 #include <plugins/asp/aspect/clingo_manager.h> void finalize_ClingoManagerAspect(void)
Finalize ASP aspect.
virtual ~ClingoManagerAspect(void)
Virtual empty destructor.
Fawkes library namespace.
void add_aspect(const char *name)
Add an aspect to a thread.
LockPtr<> is a reference-counting shared lockable smartpointer.
void init_ClingoManagerAspect(const LockPtr< ClingoControlManager > &clingo_ctrl_mgr)
Init ClingoManagerAspect.
ClingoManagerAspect(void)
Constructor.
LockPtr< ClingoControlManager > clingo_ctrl_mgr
The Clingo control manager.