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

Treating <none of those> as a normal value in SAS translator output.

This commit is contained in:
Patrick Lühne 2016-05-24 01:48:59 +02:00
parent bf6300f36b
commit ac354d512c
1 changed files with 0 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -46,9 +46,6 @@ void TranslatorASP::translate(std::ostream &ostream) const
std::for_each(initialStateFacts.cbegin(), initialStateFacts.cend(),
[&](const auto &fact)
{
if (fact.value() == Value::None)
return;
ostream << "initialState(";
fact.variable().printNameAsASPPredicate(ostream);
ostream << ", ";
@ -64,9 +61,6 @@ void TranslatorASP::translate(std::ostream &ostream) const
std::for_each(goalFacts.cbegin(), goalFacts.cend(),
[&](const auto &fact)
{
if (fact.value() == Value::None)
return;
ostream << "goal(";
fact.variable().printNameAsASPPredicate(ostream);
ostream << ", ";
@ -118,9 +112,6 @@ void TranslatorASP::translate(std::ostream &ostream) const
std::for_each(preconditions.cbegin(), preconditions.cend(),
[&](const auto &precondition)
{
if (precondition.value() == Value::None)
return;
ostream << "precondition(";
operator_.printPredicateAsASP(ostream);
ostream << ", ";