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

Fixed format of PDDL debug output.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-23 01:22:28 +02:00
parent cbc9c86edd
commit 3d9bf2582f
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
lib/pddlparse/include/pddlparse/ASTOutput.h
View File

@ -344,11 +344,12 @@ inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Action
if (!action.parameters.empty())
{
pddl::detail::printIndentedNewline(stream, printContext);
stream << "(" << colorlog::Keyword(":parameters");
stream << colorlog::Keyword(":parameters");
printContext.indentationLevel++;
pddl::detail::printIndentedNewline(stream, printContext);
stream << "(";
print(stream, action.parameters, printContext);
stream << ")";
@ -358,13 +359,12 @@ inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Action
if (action.precondition)
{
pddl::detail::printIndentedNewline(stream, printContext);
stream << "(" << colorlog::Keyword(":precondition");
stream << colorlog::Keyword(":precondition");
printContext.indentationLevel++;
pddl::detail::printIndentedNewline(stream, printContext);
print(stream, action.precondition.value(), printContext);
stream << ")";
printContext.indentationLevel--;
}
@ -372,13 +372,12 @@ inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Action
if (action.effect)
{
pddl::detail::printIndentedNewline(stream, printContext);
stream << "(" << colorlog::Keyword(":effect");
stream << colorlog::Keyword(":effect");
printContext.indentationLevel++;
pddl::detail::printIndentedNewline(stream, printContext);
print(stream, action.effect.value(), printContext);
stream << ")";
printContext.indentationLevel--;
}