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
38
void
init_ClingoManagerAspect
(
const
LockPtr<ClingoControlManager>
&
clingo_ctrl_mgr
);
39
void
finalize_ClingoManagerAspect
(
void
);
40
41
protected
:
42
LockPtr<ClingoControlManager>
clingo_ctrl_mgr
;
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
src
plugins
asp
aspect
clingo_manager.h
Generated by
1.8.17