diff --git a/include/plasp/pddl/Description.h b/include/plasp/pddl/Description.h index 07151b6..cfdbdaf 100644 --- a/include/plasp/pddl/Description.h +++ b/include/plasp/pddl/Description.h @@ -28,6 +28,8 @@ class Description public: const Domain &domain() const; + + bool containsProblem() const; const Problem &problem() const; private: diff --git a/src/plasp/pddl/Description.cpp b/src/plasp/pddl/Description.cpp index d4f564d..9420136 100644 --- a/src/plasp/pddl/Description.cpp +++ b/src/plasp/pddl/Description.cpp @@ -113,6 +113,13 @@ const Domain &Description::domain() const //////////////////////////////////////////////////////////////////////////////////////////////////// +bool Description::containsProblem() const +{ + return m_problem.get() != nullptr; +} + +//////////////////////////////////////////////////////////////////////////////////////////////////// + const Problem &Description::problem() const { BOOST_ASSERT(m_problem);