Classes | Namespaces | Defines | Typedefs | Functions | Variables
pddlModuleTypes.h File Reference
#include <math.h>
#include <stdio.h>
#include <string>
#include <vector>
#include <map>
#include <iostream>
#include <algorithm>
#include <utility>
#include <tr1/unordered_map>
Include dependency graph for pddlModuleTypes.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  modules::NumericalFluent
class  modules::Parameter
 A parameter is an object in pddl e.g. block1 of type Block. More...
class  modules::Predicate


namespace  modules


#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


typedef int(* modules::applyEffectType )(const ParameterList &parameterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, vector< double > &writtenVars)
 Semantic attachment adding numerical effects.
typedef double(* modules::conditionCheckerType )(const ParameterList &parameterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, int relaxed)
 Semantic attachment for a condition (predicate).
typedef void(* modules::executeModulePlanType )(modulePlanType modulePlan)
 Execute a plan for a module.
< string, int > 
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 > 
typedef string(* modules::outputSubplanType )(subplanType subplan)
 For final plan output: Convert a subplan into a string.
typedef vector< Parametermodules::ParameterList
typedef bool(* modules::predicateCallbackType )(PredicateList *&predicateList)
typedef vector< Predicatemodules::PredicateList
< string, VarVal
typedef subplanType(* modules::subplanGeneratorType )(const string &operatorName, const ParameterList &parameterList, 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


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)


const double modules::INFINITE_COST = HUGE_VAL

Define Documentation


API for the PDDL external module extension.

Definition at line 8 of file pddlModuleTypes.h.


Definition at line 9 of file pddlModuleTypes.h.


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 Documentation

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.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:03