From bbb63799073978a039f88bf95a305ec48bfcb738 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 9 Jun 2016 15:52:57 +0200
Subject: [PATCH] Added goal-utilities requirement with a warning if used for
 compatibility.

---
 include/plasp/pddl/Requirement.h |  3 ++-
 src/plasp/pddl/Requirement.cpp   | 11 +++++++++--
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/include/plasp/pddl/Requirement.h b/include/plasp/pddl/Requirement.h
index 266b5ba..b764be6 100644
--- a/include/plasp/pddl/Requirement.h
+++ b/include/plasp/pddl/Requirement.h
@@ -46,7 +46,8 @@ class Requirement
 			TimedInitialLiterals,
 			Preferences,
 			Constraints,
-			ActionCosts
+			ActionCosts,
+			GoalUtilities
 		};
 
 		static Requirement parse(Context &context);
diff --git a/src/plasp/pddl/Requirement.cpp b/src/plasp/pddl/Requirement.cpp
index 38f94c9..72d87f7 100644
--- a/src/plasp/pddl/Requirement.cpp
+++ b/src/plasp/pddl/Requirement.cpp
@@ -44,7 +44,8 @@ const RequirementTypeNames requirementTypesToPDDL = boost::assign::list_of<Requi
 	(Requirement::Type::TimedInitialLiterals, "timed-initial-literals")
 	(Requirement::Type::Preferences, "preferences")
 	(Requirement::Type::Constraints, "constraints")
-	(Requirement::Type::ActionCosts, "action-costs");
+	(Requirement::Type::ActionCosts, "action-costs")
+	(Requirement::Type::GoalUtilities, "goal-utilities");
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////
 
@@ -69,7 +70,8 @@ const RequirementTypeNames requirementTypesToASP = boost::assign::list_of<Requir
 	(Requirement::Type::TimedInitialLiterals, "timedInitialLiterals")
 	(Requirement::Type::Preferences, "preferences")
 	(Requirement::Type::Constraints, "constraints")
-	(Requirement::Type::ActionCosts, "actionCosts");
+	(Requirement::Type::ActionCosts, "actionCosts")
+	(Requirement::Type::GoalUtilities, "goalUtilities");
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////
 
@@ -89,6 +91,11 @@ Requirement Requirement::parse(Context &context)
 	if (match == requirementTypesToPDDL.right.end())
 		throw utils::ParserException(context.parser, "Unknown PDDL requirement \"" + requirementName + "\"");
 
+	const auto requirementType = match->second;
+
+	if (requirementType == Requirement::Type::GoalUtilities)
+		context.logger.parserWarning(context.parser, "Requirement \"goal-utilities\" is not part of the PDDL 3.1 specification");
+
 	return Requirement(match->second);
 }