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 
30 namespace fawkes {
31 
32 class ClingoManagerAspect : public virtual Aspect
33 {
34 public:
35  ClingoManagerAspect(void);
36  virtual ~ClingoManagerAspect(void);
37 
40 
41 protected:
43 };
44 
45 } // end namespace fawkes
46 
47 #endif
fawkes::LockPtr
LockPtr<> is a reference-counting shared lockable smartpointer.
Definition: lockptr.h:62
fawkes::ClingoManagerAspect::clingo_ctrl_mgr
LockPtr< ClingoControlManager > clingo_ctrl_mgr
Definition: clingo_manager.h:54
fawkes::ClingoManagerAspect::finalize_ClingoManagerAspect
void finalize_ClingoManagerAspect(void)
Finalize ASP aspect.
Definition: clingo_manager.cpp:72
fawkes::ClingoManagerAspect::~ClingoManagerAspect
virtual ~ClingoManagerAspect(void)
Virtual empty destructor.
Definition: clingo_manager.cpp:54
fawkes
fawkes::ClingoManagerAspect::ClingoManagerAspect
ClingoManagerAspect(void)
Constructor.
Definition: clingo_manager.cpp:48
fawkes::ClingoManagerAspect::init_ClingoManagerAspect
void init_ClingoManagerAspect(const LockPtr< ClingoControlManager > &clingo_ctrl_mgr)
Init ClingoManagerAspect.
Definition: clingo_manager.cpp:63