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

Wrapped translated PDDL action definitions for usability in meta encodings.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-13 03:11:38 +02:00
parent 6960e8a8c7
commit 1f35bda3d2
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/plasp/pddl/TranslatorASP.cpp
View File

@ -224,7 +224,9 @@ void TranslatorASP::translateActions() const
m_outputStream << std::endl;
// Name
m_outputStream << utils::Keyword("action") << "(";
printActionName(*action);
m_outputStream << ")";
this->translateVariablesBody(action->parameters());