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_ofsecond; + + 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); }