From da71d4947b55a1604d4fba7f336504fe3559a211 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Fri, 10 Jun 2016 17:26:36 +0200
Subject: [PATCH] Added method for checking whether PDDL description contains
 problem.

---
 include/plasp/pddl/Description.h | 2 ++
 src/plasp/pddl/Description.cpp   | 7 +++++++
 2 files changed, 9 insertions(+)

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);