|
pddl_planner
|
#include <Domain.hpp>
Public Member Functions | |
| Action (const Label &label, const ArgumentList &arguments) | |
| Action (const Label &label, const TypedItem &arg0=TypedItem(), const TypedItem &arg1=TypedItem(), const TypedItem &arg2=TypedItem(), const TypedItem &arg3=TypedItem()) | |
| void | addPrecondition (const Expression &e) |
| void | addEffect (const Expression &e) |
| void | addArgument (const TypedItem &arg) |
| bool | isArgument (const Label &label) |
Public Attributes | |
| Label | label |
| ArgumentList | arguments |
| ExpressionList | preconditions |
| ExpressionList | effects |
An action defined in a domain consists of an identifier (label) and a list of arguments. To allow for propery planning preconditions and effects are provided
|
inline |
Constructor supporting an arbitrary number of arguments
| label | Label (identifier) of the action |
| arguments | List of arguments for this action |
|
inline |
Constructor supporting up to four arguments
| label | Label (identifier) of the action |
| arg0 | (optional) argument |
| arg1 | (optional) argument |
| arg2 | (optional) argument |
| arg3 | (optional) argument |
| void pddl_planner::representation::Action::addArgument | ( | const TypedItem & | arg | ) |
Append an argument to this action's list of arguments, i.e. the order in which arguments are added does matter
| arg | Expression defin |
|
inline |
Add effect to action
| e | Expression defining an effect of this action |
|
inline |
Add precondition to action
| e | Expression defining a precondition |
| bool pddl_planner::representation::Action::isArgument | ( | const Label & | label | ) |
Test whether a given label corresponds to an argument of this action
| ArgumentList pddl_planner::representation::Action::arguments |
| ExpressionList pddl_planner::representation::Action::effects |
| Label pddl_planner::representation::Action::label |
| ExpressionList pddl_planner::representation::Action::preconditions |
1.8.11