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

Changed keyword for conditions of conditional effects.

This commit is contained in:
Patrick Lühne 2016-08-14 15:14:13 +02:00
parent 00c3140f3b
commit 4037b339e4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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