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

Changed output format of axiom rules.

This commit is contained in:
Patrick Lühne 2016-08-14 16:02:28 +02:00
parent 4d5f935e82
commit bdb6ac9fba
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -266,7 +266,7 @@ void TranslatorASP::translateAxiomRules() const
std::for_each(conditions.cbegin(), conditions.cend(),
[&](const auto &condition)
{
m_outputStream << utils::Keyword("condition") << "(" << 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);