From 4037b339e4ef4e68726da0be850dc32bcaa11e26 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 14 Aug 2016 15:14:13 +0200 Subject: [PATCH] Changed keyword for conditions of conditional effects. --- src/plasp/sas/TranslatorASP.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp index 047c569..ff3ef10 100644 --- a/src/plasp/sas/TranslatorASP.cpp +++ b/src/plasp/sas/TranslatorASP.cpp @@ -174,7 +174,8 @@ void TranslatorASP::translateActions() const std::for_each(conditions.cbegin(), conditions.cend(), [&](const auto &condition) { - m_outputStream << utils::Keyword("effectCondition") << "("; + // Conditions of conditional effects + m_outputStream << utils::Keyword("precondition") << "("; operator_.printPredicateAsASP(m_outputStream); m_outputStream << ", " << utils::Keyword("effect") << "(" << utils::Number(std::to_string(currentEffectID)) << "), "; condition.variable().printNameAsASPPredicate(m_outputStream);