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

Wrapped translated SAS action definitions for usability in meta encodings.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-13 01:40:31 +02:00
parent daf68d24ab
commit 569b3d0c97
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -136,9 +136,9 @@ void TranslatorASP::translateActions() const
std::for_each(operators.cbegin(), operators.cend(),
[&](const auto &operator_)
{
m_outputStream << std::endl;
m_outputStream << std::endl << utils::Keyword("action") << "(";
operator_.printPredicateAsASP(m_outputStream);
m_outputStream << "." << std::endl;
m_outputStream << ")." << std::endl;
const auto &preconditions = operator_.preconditions();