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);
Fawkes aspect base class.
Fawkes library namespace.
virtual ~ASPAspect(void)
Virtual empty destructor.
LockPtr< ClingoAccess > clingo
Clingo Control for exclusive usage.
LockPtr<> is a reference-counting shared lockable smartpointer.
ASPAspect(const std::string &&control_name, const std::string &&log_component=std::string())
Constructor.
Thread aspect to get access to an ASP solver.
ASPAspect initializer/finalizer.