pddl_planner
Public Member Functions | Public Attributes | List of all members
pddl_planner::representation::Action Struct Reference

#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
 

Detailed Description

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

Constructor & Destructor Documentation

pddl_planner::representation::Action::Action ( const Label label,
const ArgumentList arguments 
)
inline

Constructor supporting an arbitrary number of arguments

Parameters
labelLabel (identifier) of the action
argumentsList of arguments for this action
pddl_planner::representation::Action::Action ( const Label label,
const TypedItem arg0 = TypedItem(),
const TypedItem arg1 = TypedItem(),
const TypedItem arg2 = TypedItem(),
const TypedItem arg3 = TypedItem() 
)
inline

Constructor supporting up to four arguments

Parameters
labelLabel (identifier) of the action
arg0(optional) argument
arg1(optional) argument
arg2(optional) argument
arg3(optional) argument

Member Function Documentation

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

Parameters
argExpression defin
void pddl_planner::representation::Action::addEffect ( const Expression e)
inline

Add effect to action

Parameters
eExpression defining an effect of this action
void pddl_planner::representation::Action::addPrecondition ( const Expression e)
inline

Add precondition to action

Parameters
eExpression defining a precondition
bool pddl_planner::representation::Action::isArgument ( const Label label)

Test whether a given label corresponds to an argument of this action

Returns
true if label matches an existing argument of this action, false if not

Member Data Documentation

ArgumentList pddl_planner::representation::Action::arguments
ExpressionList pddl_planner::representation::Action::effects
Label pddl_planner::representation::Action::label
ExpressionList pddl_planner::representation::Action::preconditions

The documentation for this struct was generated from the following files: