Fawkes API
Fawkes Development Version
clips_pddl_parser_plugin.cpp
1
/***************************************************************************
2
* clips_pddl_parser_plugin.cpp - CLIPS plugin for parsing PDDL
3
*
4
* Created: Fri 16 Feb 2018 17:44:08 CET 17:44
5
* Copyright 2018 Till Hofmann <hofmann@kbsg.rwth-aachen.de>
6
****************************************************************************/
7
8
/* This program is free software; you can redistribute it and/or modify
9
* it under the terms of the GNU General Public License as published by
10
* the Free Software Foundation; either version 2 of the License, or
11
* (at your option) any later version.
12
*
13
* This program is distributed in the hope that it will be useful,
14
* but WITHOUT ANY WARRANTY; without even the implied warranty of
15
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16
* GNU Library General Public License for more details.
17
*
18
* Read the full text in the LICENSE.GPL file in the doc directory.
19
*/
20
21
#include "clips_pddl_parser_thread.h"
22
23
#include <core/plugin.h>
24
25
using namespace
fawkes
;
26
27
/** CLIPS PDDL Parser Plugin.
28
* Provides a CLIPS feature to the CLIPS environment that allows parsing PDDL
29
* domain files.
30
* @author Till Hofmann
31
*/
32
33
class
ClipsPddlParserPlugin
:
public
fawkes::Plugin
34
{
35
public
:
36
/** Constructor.
37
* @param config Fawkes configuration
38
*/
39
explicit
ClipsPddlParserPlugin
(
Configuration
*config) :
Plugin
(config)
40
{
41
thread_list.push_back(
new
ClipsPddlParserThread
());
42
}
43
};
44
45
PLUGIN_DESCRIPTION(
"CLIPS feature to parse PDDL domains"
)
46
EXPORT_PLUGIN(
ClipsPddlParserPlugin
)
ClipsPddlParserPlugin::ClipsPddlParserPlugin
ClipsPddlParserPlugin(Configuration *config)
Constructor.
Definition:
clips_pddl_parser_plugin.cpp:39
fawkes::Configuration
Definition:
config.h:68
ClipsPddlParserPlugin
CLIPS PDDL Parser Plugin.
Definition:
clips_pddl_parser_plugin.cpp:33
fawkes
ClipsPddlParserThread
Definition:
clips_pddl_parser_thread.h:27
fawkes::Plugin
Definition:
plugin.h:37
src
plugins
clips-pddl-parser
clips_pddl_parser_plugin.cpp
Generated by
1.8.16