Fawkes API Fawkes Development Version
clingo_manager.h
1/***************************************************************************
2 * clingo_manager.h - Clingo manager aspect for Fawkes
3 *
4 * Created: Sat Oct 29 11:30:07 2016
5 * Copyright 2016 Björn Schäpers
6 * 2018 Tim Niemueller [www.niemueller.org]
7 ****************************************************************************/
8
9/* This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License as published by
11 * the Free Software Foundation; either version 2 of the License, or
12 * (at your option) any later version. A runtime exception applies to
13 * this software (see LICENSE.GPL_WRE file mentioned below for details).
14 *
15 * This program is distributed in the hope that it will be useful,
16 * but WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 * GNU Library General Public License for more details.
19 *
20 * Read the full text in the LICENSE.GPL_WRE file in the doc directory.
21 */
22
23#ifndef _PLUGINS_ASP_ASPECT_CLINGO_MANAGER_H_
24#define _PLUGINS_ASP_ASPECT_CLINGO_MANAGER_H_
25
26#include <aspect/aspect.h>
27#include <core/utils/lockptr.h>
28#include <plugins/asp/aspect/clingo_control_manager.h>
29
30namespace fawkes {
31
32class ClingoManagerAspect : public virtual Aspect
33{
34public:
36 virtual ~ClingoManagerAspect(void);
37
40
41protected:
43};
44
45} // end namespace fawkes
46
47#endif
Fawkes aspect base class.
Definition: aspect.h:32
Thread aspect to access the Clingo Control manager.
void finalize_ClingoManagerAspect(void)
Finalize ASP aspect.
LockPtr< ClingoControlManager > clingo_ctrl_mgr
The Clingo control manager.
ClingoManagerAspect(void)
Constructor.
void init_ClingoManagerAspect(const LockPtr< ClingoControlManager > &clingo_ctrl_mgr)
Init ClingoManagerAspect.
virtual ~ClingoManagerAspect(void)
Virtual empty destructor.
LockPtr<> is a reference-counting shared lockable smartpointer.
Definition: lockptr.h:55
Fawkes library namespace.