24 #ifndef _PLUGINS_ASP_ASPECT_ASP_H_
25 #define _PLUGINS_ASP_ASPECT_ASP_H_
27 #include <aspect/aspect.h>
28 #include <core/utils/lockptr.h>
39 ASPAspect(
const std::string &&control_name,
const std::string &&log_component = std::string());
43 const std::string control_name_;
44 const std::string log_comp_;
47 void finalize_ASPAspect(
void);
ASPAspect initializer/finalizer.
Thread aspect to get access to an ASP solver.
virtual ~ASPAspect(void)
Virtual empty destructor.
LockPtr< ClingoAccess > clingo
Clingo Control for exclusive usage.
ASPAspect(const std::string &&control_name, const std::string &&log_component=std::string())
Constructor.
Fawkes aspect base class.
LockPtr<> is a reference-counting shared lockable smartpointer.
Fawkes library namespace.