Classes | Typedefs | Functions | Variables
modules Namespace Reference

Classes

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

Typedefs

typedef int(* applyEffectType )(const ParameterList &parameterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, vector< double > &writtenVars)
 Semantic attachment adding numerical effects.
typedef double(* conditionCheckerType )(const ParameterList &parameterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, int relaxed)
 Semantic attachment for a condition (predicate).
typedef void(* executeModulePlanType )(modulePlanType modulePlan)
 Execute a plan for a module.
typedef void(* 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< subplanTypemodulePlanType
 The planner might upon plan generation get subplans for all operators in the plan and thus generate a plan for each module.
typedef bool(* numericalFluentCallbackType )(NumericalFluentList *&numericalFluentList)
typedef vector< NumericalFluentNumericalFluentList
typedef
opl::interface::OplCallbackInterface *(* 
oplCallbackInitType )(const ObjectTypeMap &objects, const PredicateMapping &predicateMapping, const FunctionMapping &functionMapping, const PredicateList &predicateConstants, const NumericalFluentList &numericConstants)
 Function pointer to call for a opl callback module.
typedef string(* outputSubplanType )(subplanType subplan)
 For final plan output: Convert a subplan into a string.
typedef vector< ParameterParameterList
typedef bool(* predicateCallbackType )(PredicateList *&predicateList)
typedef vector< PredicatePredicateList
typedef subplanType(* subplanGeneratorType )(const string &operatorName, const ParameterList &parameterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, int heuristic)
 A Module should generate a subplanType for this operator.
typedef void * 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.

Functions

int nfcomp (const NumericalFluent &n1, const NumericalFluent &n2)
std::ostream & operator<< (std::ostream &os, const Parameter &p)
std::ostream & operator<< (std::ostream &os, const ParameterList &pl)
std::ostream & operator<< (std::ostream &os, const Predicate &p)
std::ostream & operator<< (std::ostream &os, const NumericalFluent &n)
int pcomp (const Predicate &n1, const Predicate &n2)
static string toLower (const string &s)

Variables

const double INFINITE_COST = HUGE_VAL

Typedef Documentation

typedef int(* modules::applyEffectType)(const ParameterList &parameterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, vector< double > &writtenVars)

Semantic attachment adding numerical effects.

Parameters:
[in,out]writtenVarsthe variable to be written in the order of the module spec in the domain. The vector is already filled to size.
Returns:
??? fragen wir das ab?

Definition at line 129 of file pddlModuleTypes.h.

typedef double(* modules::conditionCheckerType)(const ParameterList &parameterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, int relaxed)

Semantic attachment for a condition (predicate).

Parameters:
[in]relaxedonly produce relaxed solution, 0 - produce accurate result, 1 .. n produce an approximate result using method 1 .. n.
Returns:
the actual cost or INFINITE_COST when called as cost module, INFINITE_COST if false or 0 (a value smaller INFINITE_COST) if true, when called as conditionChecker (i.e. cost modules can be used as condition checkers)

Definition at line 121 of file pddlModuleTypes.h.

typedef void(* modules::executeModulePlanType)(modulePlanType modulePlan)

Execute a plan for a module.

This function is incorrect! Subplans should be executed synchronized if multiple modules are present. Fix this, if you need it.

Definition at line 158 of file pddlModuleTypes.h.

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.

Definition at line 113 of file pddlModuleTypes.h.

The planner might upon plan generation get subplans for all operators in the plan and thus generate a plan for each module.

Definition at line 151 of file pddlModuleTypes.h.

typedef bool(* modules::numericalFluentCallbackType)(NumericalFluentList *&numericalFluentList)
Parameters:
[in,out]numericalFluentListlist of fluents, whose values should be filled. Creates full list, if NULL.
Returns:
true, if OK.

Definition at line 108 of file pddlModuleTypes.h.

Definition at line 90 of file pddlModuleTypes.h.

typedef opl::interface::OplCallbackInterface*(* modules::oplCallbackInitType)(const ObjectTypeMap &objects, const PredicateMapping &predicateMapping, const FunctionMapping &functionMapping, const PredicateList &predicateConstants, const NumericalFluentList &numericConstants)

Function pointer to call for a opl callback module.

Definition at line 37 of file OplCallbackInterface.h.

typedef string(* modules::outputSubplanType)(subplanType subplan)

For final plan output: Convert a subplan into a string.

Definition at line 148 of file pddlModuleTypes.h.

Definition at line 64 of file pddlModuleTypes.h.

typedef bool(* modules::predicateCallbackType)(PredicateList *&predicateList)

Callback method which can be used by the module to access the current planning situation in the planner.

The planner should implement this method and fill the PredicateList with the predicates corresponding to the current situation.

Parameters:
[in,out]predicateListlist of predicates, whose values should be filled. Creates full list, if NULL.
Returns:
true, if OK.

Definition at line 102 of file pddlModuleTypes.h.

Definition at line 77 of file pddlModuleTypes.h.

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.

All parameters will be the same as for previous calls to conditionCheckerType or applyEffectType. The additional operatorName is only given as additional information.

Definition at line 143 of file pddlModuleTypes.h.

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.

Definition at line 136 of file pddlModuleTypes.h.


Function Documentation

int modules::nfcomp ( const NumericalFluent &  n1,
const NumericalFluent &  n2 
)

Definition at line 106 of file printTypes.cpp.

std::ostream & modules::operator<< ( std::ostream &  os,
const Parameter p 
)

Definition at line 10 of file printTypes.cpp.

std::ostream & modules::operator<< ( std::ostream &  os,
const ParameterList &  pl 
)

Definition at line 20 of file printTypes.cpp.

std::ostream & modules::operator<< ( std::ostream &  os,
const Predicate p 
)

Definition at line 34 of file printTypes.cpp.

std::ostream & modules::operator<< ( std::ostream &  os,
const NumericalFluent &  n 
)

Definition at line 97 of file printTypes.cpp.

int modules::pcomp ( const Predicate n1,
const Predicate n2 
)

Definition at line 43 of file printTypes.cpp.

static string modules::toLower ( const string &  s) [static]

Definition at line 37 of file pddlModuleTypes.h.


Variable Documentation

const double modules::INFINITE_COST = HUGE_VAL

Definition at line 35 of file pddlModuleTypes.h.



tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06