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

Reordered ASP output.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-22 20:21:31 +02:00
parent d8d6998936
commit 1dd55715f1
1 changed files with 26 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -96,32 +96,6 @@ void TranslatorASP::translate(std::ostream &ostream) const
ostream << "fluent(" << *fluent << ")." << std::endl;
});
ostream << std::endl;
ostream << "% initial state" << std::endl;
const auto &initialStateFacts = m_description.initialState().facts();
std::for_each(initialStateFacts.cbegin(), initialStateFacts.cend(),
[&](const auto &fact)
{
ostream << "init(";
fact.value().printAsASPCommaSeparated(ostream);
ostream << ")." << std::endl;
});
ostream << std::endl;
ostream << "% goal" << std::endl;
const auto &goalFacts = m_description.goal().facts();
std::for_each(goalFacts.cbegin(), goalFacts.cend(),
[&](const auto &fact)
{
ostream << "goal(";
fact.value().printAsASPCommaSeparated(ostream);
ostream << ")." << std::endl;
});
ostream << std::endl;
ostream << "% actions" << std::endl;
@ -159,6 +133,32 @@ void TranslatorASP::translate(std::ostream &ostream) const
});
});
ostream << std::endl;
ostream << "% initial state" << std::endl;
const auto &initialStateFacts = m_description.initialState().facts();
std::for_each(initialStateFacts.cbegin(), initialStateFacts.cend(),
[&](const auto &fact)
{
ostream << "init(";
fact.value().printAsASPCommaSeparated(ostream);
ostream << ")." << std::endl;
});
ostream << std::endl;
ostream << "% goal" << std::endl;
const auto &goalFacts = m_description.goal().facts();
std::for_each(goalFacts.cbegin(), goalFacts.cend(),
[&](const auto &fact)
{
ostream << "goal(";
fact.value().printAsASPCommaSeparated(ostream);
ostream << ")." << std::endl;
});
ostream << std::endl;
ostream << "% constraints derived from SAS variables" << std::endl;