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

Wrapped translated PDDL constant definitions for usability in meta encodings.

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

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

@ -297,8 +297,11 @@ void TranslatorASP::translateConstants(const std::string &heading, const express
{ {
const auto constantName = utils::escapeASP(constant->name()); const auto constantName = utils::escapeASP(constant->name());
m_outputStream << std::endl << utils::Keyword("constant") m_outputStream << std::endl
<< "(" << constantName << ")." << std::endl; << utils::Keyword("constant") << "("
<< utils::Keyword("constant") << "("
<< constantName
<< "))." << std::endl;
const auto *type = constant->type(); const auto *type = constant->type();