23 #ifndef _PLUGINS_ASP_ASPECT_CLINGO_CONTROL_MANAGER_H_ 24 #define _PLUGINS_ASP_ASPECT_CLINGO_CONTROL_MANAGER_H_ 26 #include <core/utils/lockptr.h> 28 #include <unordered_map> 44 const std::string &log_component_name);
47 const std::unordered_map<std::string, LockPtr<ClingoAccess>> &
controls(
void)
const;
51 std::unordered_map<std::string, LockPtr<ClingoAccess>> controls_;
ClingoControlManager(void)
Constructor.
Fawkes library namespace.
The Clingo Control Manager creates and maintains Clingo Controls.
void set_logger(Logger *logger)
Sets the logger for all Clingo Controls.
LockPtr<> is a reference-counting shared lockable smartpointer.
virtual ~ClingoControlManager(void)
Destructor.
LockPtr< ClingoAccess > create_control(const std::string &ctrl_name, const std::string &log_component_name)
Create a new control.
void destroy_control(const std::string &ctrl_name)
"Destroys" the named control.
const std::unordered_map< std::string, LockPtr< ClingoAccess > > & controls(void) const
Get map of controls.