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

Showing action cost predicates unconditionally for easier handling in meta encodings.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-24 01:54:57 +02:00
parent ac354d512c
commit ee0b446230
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -153,12 +153,9 @@ void TranslatorASP::translate(std::ostream &ostream) const
currentEffectID++; currentEffectID++;
}); });
if (usesActionCosts) ostream << "costs(";
{ operator_.printPredicateAsASP(ostream);
ostream << "costs("; ostream << ", " << operator_.costs() << ")." << std::endl;
operator_.printPredicateAsASP(ostream);
ostream << ", " << operator_.costs() << ")." << std::endl;
}
}); });
ostream << std::endl; ostream << std::endl;