#include <math.h>#include <stdio.h>#include <string>#include <vector>#include <map>#include <iostream>#include <algorithm>#include <utility>#include <tr1/unordered_map>
Go to the source code of this file.
Classes | |
| class | modules::NumericalFluent |
| class | modules::Parameter |
| A parameter is an object in pddl e.g. block1 of type Block. More... | |
| class | modules::Predicate |
Namespaces | |
| namespace | modules |
Defines | |
| #define | PDDL_MODULE_VERSION_MAJOR 0 |
| #define | PDDL_MODULE_VERSION_MINOR 3 |
| #define | PDDL_MODULE_VERSION_STRING "0.3" |
| #define | VERIFY_APPLYEFFECT_DEF(name) applyEffectType name##_def_check = name |
| #define | VERIFY_CONDITIONCHECKER_DEF(name) conditionCheckerType name##_def_check = name |
| #define | VERIFY_SUBPLANGENERATOR_DEF(name) subplanGeneratorType name##_def_check = name |
Typedefs | |
| typedef int(* | modules::applyEffectType )(const ParameterList ¶meterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, vector< double > &writtenVars) |
| Semantic attachment adding numerical effects. | |
| typedef double(* | modules::conditionCheckerType )(const ParameterList ¶meterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, int relaxed) |
| Semantic attachment for a condition (predicate). | |
| typedef void(* | modules::executeModulePlanType )(modulePlanType modulePlan) |
| Execute a plan for a module. | |
| typedef std::tr1::unordered_map < string, int > | FunctionMapping |
| typedef void(* | modules::moduleInitType )(int argc, char **argv) |
| Function pointer to call for a module before any module calls are performed - parameters are passed on from the problem definition file. | |
| typedef vector< subplanType > | modules::modulePlanType |
| The planner might upon plan generation get subplans for all operators in the plan and thus generate a plan for each module. | |
| typedef bool(* | modules::numericalFluentCallbackType )(NumericalFluentList *&numericalFluentList) |
| typedef vector< NumericalFluent > | modules::NumericalFluentList |
| typedef std::map< std::string, std::string > | ObjectTypeMap |
| typedef string(* | modules::outputSubplanType )(subplanType subplan) |
| For final plan output: Convert a subplan into a string. | |
| typedef vector< Parameter > | modules::ParameterList |
| typedef bool(* | modules::predicateCallbackType )(PredicateList *&predicateList) |
| typedef vector< Predicate > | modules::PredicateList |
| typedef std::tr1::unordered_map < string, VarVal > | PredicateMapping |
| typedef subplanType(* | modules::subplanGeneratorType )(const string &operatorName, const ParameterList ¶meterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, int heuristic) |
| A Module should generate a subplanType for this operator. | |
| typedef void * | modules::subplanType |
| This type should be returned by a module and contain a custom datatype, that contains any information, that might be necessary for actually executing an operator. | |
| typedef std::pair< int, int > | VarVal |
Functions | |
| std::ostream & | modules::operator<< (std::ostream &os, const Parameter &p) |
| std::ostream & | modules::operator<< (std::ostream &os, const ParameterList &pl) |
| std::ostream & | modules::operator<< (std::ostream &os, const Predicate &p) |
| std::ostream & | modules::operator<< (std::ostream &os, const NumericalFluent &n) |
| static string | modules::toLower (const string &s) |
Variables | |
| const double | modules::INFINITE_COST = HUGE_VAL |
| #define PDDL_MODULE_VERSION_MAJOR 0 |
API for the PDDL external module extension.
Definition at line 8 of file pddlModuleTypes.h.
| #define PDDL_MODULE_VERSION_MINOR 3 |
Definition at line 9 of file pddlModuleTypes.h.
| #define PDDL_MODULE_VERSION_STRING "0.3" |
Definition at line 10 of file pddlModuleTypes.h.
| #define VERIFY_APPLYEFFECT_DEF | ( | name | ) | applyEffectType name##_def_check = name |
Definition at line 170 of file pddlModuleTypes.h.
| #define VERIFY_CONDITIONCHECKER_DEF | ( | name | ) | conditionCheckerType name##_def_check = name |
Definition at line 169 of file pddlModuleTypes.h.
| #define VERIFY_SUBPLANGENERATOR_DEF | ( | name | ) | subplanGeneratorType name##_def_check = name |
Definition at line 171 of file pddlModuleTypes.h.
| typedef std::tr1::unordered_map<string, int> FunctionMapping |
Definition at line 28 of file pddlModuleTypes.h.
| typedef std::map<std::string, std::string> ObjectTypeMap |
Definition at line 30 of file pddlModuleTypes.h.
| typedef std::tr1::unordered_map<string, VarVal> PredicateMapping |
Definition at line 27 of file pddlModuleTypes.h.
| typedef std::pair<int, int> VarVal |
Definition at line 26 of file pddlModuleTypes.h.