patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Added method for checking whether PDDL description contains problem.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-10 17:26:36 +02:00
parent 6a83147ac0
commit da71d4947b
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/plasp/pddl/Description.h
View File

@ -28,6 +28,8 @@ class Description
public: public:
const Domain &domain() const; const Domain &domain() const;
bool containsProblem() const;
const Problem &problem() const; const Problem &problem() const;
private: private:

7
src/plasp/pddl/Description.cpp
View File

@ -113,6 +113,13 @@ const Domain &Description::domain() const
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////
bool Description::containsProblem() const
{
return m_problem.get() != nullptr;
}
////////////////////////////////////////////////////////////////////////////////////////////////////
const Problem &Description::problem() const const Problem &Description::problem() const
{ {
BOOST_ASSERT(m_problem); BOOST_ASSERT(m_problem);