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

Wrapped translated PDDL type definitions for usability in meta encodings.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-13 02:32:27 +02:00
parent 230c6dfc15
commit 94b204615b
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -85,7 +85,10 @@ void TranslatorASP::translateTypes() const
if (types.empty()) if (types.empty())
{ {
m_outputStream << utils::Keyword("type") << "(object)." << std::endl; m_outputStream
<< utils::Keyword("type") << "("
<< utils::Keyword("type") << "(object))." << std::endl;
return; return;
} }
@ -94,7 +97,10 @@ void TranslatorASP::translateTypes() const
{ {
const auto typeName = utils::escapeASP(type->name()); const auto typeName = utils::escapeASP(type->name());
m_outputStream << utils::Keyword("type") << "(" << typeName << ")." << std::endl; m_outputStream
<< utils::Keyword("type") << "("
<< utils::Keyword("type") << "("
<< typeName << "))." << std::endl;
const auto &parentTypes = type->parentTypes(); const auto &parentTypes = type->parentTypes();