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

Hiding action cost output if feature not required.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-23 17:15:22 +02:00
parent 05058c149e
commit bc5f8edb67
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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