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

Hiding translated PDDL sections if empty.

This commit is contained in:
Patrick Lühne 2016-06-12 22:19:24 +02:00
parent 979d9509c1
commit 89bb54a3ec
1 changed files with 34 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -40,47 +40,53 @@ void TranslatorASP::translateDomain(std::ostream &ostream) const
const auto &domain = m_description.domain();
// Types
ostream << std::endl;
ostream << "% types";
if (!domain.types().empty())
{
ostream << std::endl;
ostream << "% types";
const auto &types = domain.types();
const auto &types = domain.types();
std::for_each(types.cbegin(), types.cend(),
[&](const auto &type)
{
ostream << std::endl;
std::for_each(types.cbegin(), types.cend(),
[&](const auto &type)
{
ostream << std::endl;
ostream << "type(" << type->name() << ")." << std::endl;
ostream << "type(" << type->name() << ")." << std::endl;
const auto &parentTypes = type->parentTypes();
const auto &parentTypes = type->parentTypes();
std::for_each(parentTypes.cbegin(), parentTypes.cend(),
[&](const auto &parentType)
{
ostream << "inherits(type(" << type->name() << "), type(" << parentType->name() << "))." << std::endl;
});
});
std::for_each(parentTypes.cbegin(), parentTypes.cend(),
[&](const auto &parentType)
{
ostream << "inherits(type(" << type->name() << "), type(" << parentType->name() << "))." << std::endl;
});
});
}
// Constants
ostream << std::endl;
ostream << "% constants";
if (!domain.constants().empty())
{
ostream << std::endl;
ostream << "% constants";
const auto &constants = domain.constants();
const auto &constants = domain.constants();
std::for_each(constants.cbegin(), constants.cend(),
[&](const auto &constant)
{
ostream << std::endl;
std::for_each(constants.cbegin(), constants.cend(),
[&](const auto &constant)
{
ostream << std::endl;
ostream << "constant(" << constant->name() << ")." << std::endl;
ostream << "constant(" << constant->name() << ")." << std::endl;
const auto *type = constant->type();
const auto *type = constant->type();
if (type == nullptr)
return;
if (type == nullptr)
return;
ostream << "hasType(constant(" << constant->name() << "), type(" << type->name() << "))." << std::endl;
});
ostream << "hasType(constant(" << constant->name() << "), type(" << type->name() << "))." << std::endl;
});
}
}
////////////////////////////////////////////////////////////////////////////////////////////////////