Implemented predicate expressions.

src/plasp/pddl/Action.cpp

@@ -4,6 +4,7 @@
 
 #include <plasp/pddl/Context.h>
 #include <plasp/pddl/Identifier.h>
+#include <plasp/utils/ParserException.h>
 
 namespace plasp
 {
@@ -52,7 +53,8 @@ Action &Action::parseDeclaration(utils::Parser &parser, Context &context)
 
 		if (sectionIdentifier == "precondition")
 			action->m_precondition = parsePreconditionExpression(parser, context, action->m_parameters);
-		//else if (sectionIdentifier == "effect")
+		else if (sectionIdentifier == "effect")
+			throw utils::ParserException(parser.row(), parser.column(), "Action effects are currently unsupported");
 		//	action->m_effect = parseEffectExpression(parser, context);
 	}
 

src/plasp/pddl/Expression.cpp

@@ -3,6 +3,8 @@
 #include <plasp/pddl/Context.h>
 #include <plasp/pddl/Identifier.h>
 #include <plasp/pddl/expressions/AndExpression.h>
+#include <plasp/pddl/expressions/OrExpression.h>
+#include <plasp/pddl/expressions/PredicateExpression.h>
 #include <plasp/utils/ParserException.h>
 
 namespace plasp
@@ -16,6 +18,10 @@ namespace pddl
 //
 ////////////////////////////////////////////////////////////////////////////////////////////////////
 
+std::unique_ptr<Expression> parseExpressionBody(const std::string &expressionIdentifier, utils::Parser &parser, Context &context, const Variables &parameters);
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
 std::unique_ptr<Expression> parsePreconditionExpression(utils::Parser &parser, Context &context, const Variables &parameters)
 {
 	parser.skipWhiteSpace();
@@ -24,26 +30,24 @@ std::unique_ptr<Expression> parsePreconditionExpression(utils::Parser &parser, C
 
 	const auto expressionIdentifier = parser.parseIdentifier(isIdentifier);
 
-	std::cout << "Parsing identifier " << expressionIdentifier << std::endl;
+	std::cout << "Parsing precondition expression " << expressionIdentifier << std::endl;
 
 	std::unique_ptr<Expression> expression;
 
-	const auto throwNotAllowed =
+	const auto throwUnsupported =
 		[&]()
 		{
-			throw utils::ParserException(parser.row(), parser.column(), "Expression of type \"" + expressionIdentifier + "\" not allowed in preference declaration");
+			throw utils::ParserException(parser.row(), parser.column(), "Expression type \"" + expressionIdentifier + "\" unsupported");
 		};
 
 	if (expressionIdentifier == "and")
 		expression = expressions::AndExpression::parse(parser, context, parameters, parsePreconditionExpression);
-	else if (expressionIdentifier == "or")
-		throwNotAllowed();
-	else if (expressionIdentifier == "not")
-		throwNotAllowed();
-	else if (expressionIdentifier == "exists")
-		throwNotAllowed();
+	else if (expressionIdentifier == "forall")
+		throwUnsupported();
+	else if (expressionIdentifier == "preference")
+		throwUnsupported();
 	else
-		throw utils::ParserException(parser.row(), parser.column(), "Undeclared expression \"" + expressionIdentifier + "\"");
+		expression = parseExpressionBody(expressionIdentifier, parser, context, parameters);
 
 	parser.expect<std::string>(")");
 
@@ -52,5 +56,79 @@ std::unique_ptr<Expression> parsePreconditionExpression(utils::Parser &parser, C
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////
 
+std::unique_ptr<Expression> parseExpression(utils::Parser &parser, Context &context, const Variables &parameters)
+{
+	parser.skipWhiteSpace();
+
+	parser.expect<std::string>("(");
+
+	const auto expressionIdentifier = parser.parseIdentifier(isIdentifier);
+
+	auto expression = parseExpressionBody(expressionIdentifier, parser, context, parameters);
+
+	parser.expect<std::string>(")");
+
+	return expression;
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+std::unique_ptr<Expression> parseExpressionBody(const std::string &expressionIdentifier, utils::Parser &parser, Context &context, const Variables &parameters)
+{
+	parser.skipWhiteSpace();
+
+	std::cout << "Parsing expression " << expressionIdentifier << std::endl;
+
+	std::unique_ptr<Expression> expression;
+
+	const auto throwUnsupported =
+	[&]()
+	{
+		throw utils::ParserException(parser.row(), parser.column(), "Expression type \"" + expressionIdentifier + "\" unsupported");
+	};
+
+	if (expressionIdentifier == "and")
+		expression = expressions::AndExpression::parse(parser, context, parameters, parseExpression);
+	else if (expressionIdentifier == "or")
+		expression = expressions::OrExpression::parse(parser, context, parameters, parseExpression);
+	else if (expressionIdentifier == "not"
+		|| expressionIdentifier == "imply"
+		|| expressionIdentifier == "exists"
+		|| expressionIdentifier == "forall"
+		|| expressionIdentifier == "-"
+		|| expressionIdentifier == "="
+		|| expressionIdentifier == "*"
+		|| expressionIdentifier == "+"
+		|| expressionIdentifier == "-"
+		|| expressionIdentifier == "/"
+		|| expressionIdentifier == ">"
+		|| expressionIdentifier == "<"
+		|| expressionIdentifier == "="
+		|| expressionIdentifier == ">="
+		|| expressionIdentifier == "<=")
+	{
+		throwUnsupported();
+	}
+	else
+	{
+		// Check if predicate with that name exists
+		const auto match = std::find_if(context.predicates.cbegin(), context.predicates.cend(),
+			[&](const auto &predicate)
+			{
+				return predicate->name() == expressionIdentifier;
+			});
+
+		// If predicate exists, parse it
+		if (match != context.predicates.cend())
+			expression = expressions::PredicateExpression::parse(expressionIdentifier, parser, context, parameters);
+		else
+			throw utils::ParserException(parser.row(), parser.column(), "Undeclared expression \"" + expressionIdentifier + "\"");
+	}
+
+	return expression;
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
 }
 }

src/plasp/pddl/expressions/AndExpression.cpp

@@ -1,8 +1,6 @@
 #include <plasp/pddl/expressions/AndExpression.h>
 
-#include <plasp/pddl/Context.h>
 #include <plasp/pddl/ExpressionVisitor.h>
-#include <plasp/utils/Parser.h>
 
 namespace plasp
 {

src/plasp/pddl/expressions/OrExpression.cpp

@@ -0,0 +1,27 @@
+#include <plasp/pddl/expressions/OrExpression.h>
+
+#include <plasp/pddl/ExpressionVisitor.h>
+
+namespace plasp
+{
+namespace pddl
+{
+namespace expressions
+{
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+//
+// OrExpression
+//
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+void OrExpression::accept(plasp::pddl::ExpressionVisitor &expressionVisitor) const
+{
+	expressionVisitor.visit(*this);
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+}
+}
+}

src/plasp/pddl/expressions/PredicateExpression.cpp

@@ -0,0 +1,46 @@
+#include <plasp/pddl/expressions/PredicateExpression.h>
+
+#include <plasp/pddl/ExpressionVisitor.h>
+
+namespace plasp
+{
+namespace pddl
+{
+namespace expressions
+{
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+//
+// PredicateExpression
+//
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+std::unique_ptr<PredicateExpression> PredicateExpression::parse(std::string name, utils::Parser &parser, Context &context, const Variables &parameters)
+{
+	auto expression = std::make_unique<PredicateExpression>(PredicateExpression());
+
+	expression->m_name = name;
+
+	parser.skipWhiteSpace();
+
+	// Parse arguments
+	while (parser.currentCharacter() != ')')
+		Variable::parseTyped(parser, context, expression->m_arguments);
+
+	std::cout << "Parsed " << expression->m_arguments.size() << " arguments" << std::endl;
+
+	return expression;
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+void PredicateExpression::accept(plasp::pddl::ExpressionVisitor &expressionVisitor) const
+{
+	expressionVisitor.visit(*this);
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+}
+}
+}