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 ¶meterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, vector< double > &writtenVars) |
Semantic attachment adding numerical effects. | |
typedef double(* | conditionCheckerType )(const ParameterList ¶meterList, 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< subplanType > | 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(* | numericalFluentCallbackType )(NumericalFluentList *&numericalFluentList) |
typedef vector< NumericalFluent > | NumericalFluentList |
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< Parameter > | ParameterList |
typedef bool(* | predicateCallbackType )(PredicateList *&predicateList) |
typedef vector< Predicate > | PredicateList |
typedef subplanType(* | subplanGeneratorType )(const string &operatorName, const ParameterList ¶meterList, 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 int(* modules::applyEffectType)(const ParameterList ¶meterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, vector< double > &writtenVars) |
Semantic attachment adding numerical effects.
[in,out] | writtenVars | the variable to be written in the order of the module spec in the domain. The vector is already filled to size. |
Definition at line 129 of file pddlModuleTypes.h.
typedef double(* modules::conditionCheckerType)(const ParameterList ¶meterList, predicateCallbackType predicateCallback, numericalFluentCallbackType numericalFluentCallback, int relaxed) |
Semantic attachment for a condition (predicate).
[in] | relaxed | only produce relaxed solution, 0 - produce accurate result, 1 .. n produce an approximate result using method 1 .. n. |
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.
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.
Definition at line 151 of file pddlModuleTypes.h.
typedef bool(* modules::numericalFluentCallbackType)(NumericalFluentList *&numericalFluentList) |
[in,out] | numericalFluentList | list of fluents, whose values should be filled. Creates full list, if NULL. |
Definition at line 108 of file pddlModuleTypes.h.
typedef vector<NumericalFluent> modules::NumericalFluentList |
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.
typedef vector<Parameter> modules::ParameterList |
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.
[in,out] | predicateList | list of predicates, whose values should be filled. Creates full list, if NULL. |
Definition at line 102 of file pddlModuleTypes.h.
typedef vector<Predicate> modules::PredicateList |
Definition at line 77 of file pddlModuleTypes.h.
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.
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.
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.
const double modules::INFINITE_COST = HUGE_VAL |
Definition at line 35 of file pddlModuleTypes.h.