patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Changed output format of axiom rules for consistency.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-15 16:33:33 +02:00
parent 169c5ae8e9
commit ef57f27c6a
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/plasp/sas/TranslatorASP.cpp
View File

@ -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);