pddl_planner
Problem.hpp
Go to the documentation of this file.
1 #ifndef PDDL_PLANNER_REPRESENTATION_PROBLEM
2 #define PDDL_PLANNER_REPRESENTATION_PROBLEM
3 
4 #include <pddl_planner/representation/Domain.hpp>
5 
6 namespace pddl_planner {
7 namespace representation {
8 
9 struct Problem
10 {
11  std::string name;
14 
17 
18  Problem(const std::string& name, const Domain& domain);
19 
24  void addObject(const TypedItem& type, bool overwrite = false);
25 
31  void addInitialStatus(const Expression& e);
32 
33 
37  void setGoal(const Expression& e);
38 
42  void addSubGoal(const Expression& e);
43 
48  bool undefined() const { return goal.isNull() || domain.isNull(); }
49 
54  void validate() const;
55 
60  std::string toLISP() const;
61 };
62 
63 } // end representation
64 } // end pddl_planner
65 
66 #endif // PDDL_PLANNER_REPRESENTATION_PROBLEM
ConstantList objects
Definition: Problem.hpp:13
Expression goal
Definition: Problem.hpp:16
void validate() const
Definition: Problem.cpp:36
TypedItemList ConstantList
Definition: Domain.hpp:51
Definition: Problem.hpp:9
std::vector< Expression > ExpressionList
Definition: Domain.hpp:328
Representation of (LISP) expressions.
Definition: Domain.hpp:274
A tuple representation providing a name/label and a type.
Definition: Domain.hpp:28
ExpressionList status
Definition: Problem.hpp:15
void addInitialStatus(const Expression &e)
Definition: Problem.cpp:18
An internal representation of a PDDL domain description.
Definition: Domain.hpp:423
void setGoal(const Expression &e)
Definition: Problem.cpp:31
Definition: PDDLPlannerInterface.cpp:18
void addObject(const TypedItem &type, bool overwrite=false)
Definition: Problem.cpp:13
bool isNull() const
Definition: Domain.hpp:300
Problem(const std::string &name, const Domain &domain)
Definition: Problem.cpp:8
void addSubGoal(const Expression &e)
std::string name
Definition: Problem.hpp:11
bool undefined() const
Definition: Problem.hpp:48
Domain domain
Definition: Problem.hpp:12
std::string toLISP() const
Definition: Problem.cpp:67
bool isNull() const
Definition: Domain.hpp:487