From a5038535f4f9aa94b642db491c4433460d4814c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 28 Jun 2017 00:35:28 +0200 Subject: [PATCH] Added missing argument to ASP predicate. --- src/plasp/pddl/TranslatorASP.cpp | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index 264f09a..6e76a68 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -240,7 +240,14 @@ void TranslatorASP::translateDerivedPredicates() const if (enumerateExistentialParameters && !derivedPredicate->existentialParameters.empty()) translateVariablesForRuleHead(m_outputStream, derivedPredicate->existentialParameters); - m_outputStream << "))"; + m_outputStream << ")), " << colorlog::Keyword("type") << "("; + + if (derivedPredicate->precondition.value().is<::pddl::normalizedAST::OrPointer<::pddl::normalizedAST::Literal>>()) + m_outputStream << colorlog::Reserved("or"); + else + m_outputStream << colorlog::Reserved("and"); + + m_outputStream << ")"; }; m_outputStream << std::endl; @@ -248,14 +255,7 @@ void TranslatorASP::translateDerivedPredicates() const // Name m_outputStream << colorlog::Function("derivedPredicate") << "("; printDerivedPredicateName(); - m_outputStream << ", " << colorlog::Keyword("type") << "("; - - if (derivedPredicate->precondition.value().is<::pddl::normalizedAST::OrPointer<::pddl::normalizedAST::Literal>>()) - m_outputStream << colorlog::Reserved("or"); - else - m_outputStream << colorlog::Reserved("and"); - - m_outputStream << "))"; + m_outputStream << ")"; if (!derivedPredicate->parameters.empty() || !derivedPredicate->existentialParameters.empty()) m_outputStream << " :- ";