From ef57f27c6a88b771f3fa229975d4a5d19d865ce5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 15 Aug 2016 16:33:33 +0200 Subject: [PATCH] Changed output format of axiom rules for consistency. --- src/plasp/sas/TranslatorASP.cpp | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp index bea9d75..8ce1dde 100644 --- a/src/plasp/sas/TranslatorASP.cpp +++ b/src/plasp/sas/TranslatorASP.cpp @@ -272,7 +272,9 @@ void TranslatorASP::translateAxiomRules() const std::for_each(conditions.cbegin(), conditions.cend(), [&](const auto &condition) { - m_outputStream << utils::Keyword("precondition") << "(" << utils::Keyword("axiomRule") << "(" << utils::Number(axiomRuleID) << "), "; + m_outputStream + << utils::Keyword("precondition") << "(" + << utils::Keyword("axiomRule") << "(" << utils::Number(axiomRuleID) << "), "; condition.variable().printNameAsASPPredicate(m_outputStream); m_outputStream << ", "; condition.value().printAsASPPredicate(m_outputStream); @@ -281,7 +283,10 @@ void TranslatorASP::translateAxiomRules() const const auto &postcondition = axiomRule.postcondition(); - m_outputStream << utils::Keyword("postcondition") << "(" << utils::Keyword("axiomRule") << "(" << utils::Number(axiomRuleID) << "), "; + m_outputStream + << utils::Keyword("postcondition") << "(" + << utils::Keyword("axiomRule") << "(" << utils::Number(axiomRuleID) << "), " + << utils::Keyword("effect") << "(unconditional), "; postcondition.variable().printNameAsASPPredicate(m_outputStream); m_outputStream << ", "; postcondition.value().printAsASPPredicate(m_outputStream);