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

Implemented translation of PDDL domain constants.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-10 17:52:19 +02:00
parent 458dbd723c
commit 0513b3aa0c
1 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -35,11 +35,12 @@ void TranslatorASP::translateDomain(std::ostream &ostream) const
ostream ostream
<< "%---------------------------------------" << std::endl << "%---------------------------------------" << std::endl
<< "% domain" << std::endl << "% domain" << std::endl
<< "%---------------------------------------" << std::endl << std::endl; << "%---------------------------------------" << std::endl;
const auto &domain = m_description.domain(); const auto &domain = m_description.domain();
// Types // Types
ostream << std::endl;
ostream << "% types"; ostream << "% types";
const auto &types = domain.types(); const auto &types = domain.types();
@ -59,6 +60,27 @@ void TranslatorASP::translateDomain(std::ostream &ostream) const
ostream << "inherits(type(" << type->name() << "), type(" << parentType->name() << "))." << std::endl; ostream << "inherits(type(" << type->name() << "), type(" << parentType->name() << "))." << std::endl;
}); });
}); });
// Constants
ostream << std::endl;
ostream << "% constants";
const auto &constants = domain.constants();
std::for_each(constants.cbegin(), constants.cend(),
[&](const auto &constant)
{
ostream << std::endl;
ostream << "constant(" << constant->name() << ")." << std::endl;
const auto *type = constant->type();
if (type == nullptr)
return;
ostream << "hasType(constant(" << constant->name() << "), type(" << type->name() << "))." << std::endl;
});
} }
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////
@ -68,7 +90,7 @@ void TranslatorASP::translateProblem(std::ostream &ostream) const
ostream << std::endl ostream << std::endl
<< "%---------------------------------------" << std::endl << "%---------------------------------------" << std::endl
<< "% problem" << std::endl << "% problem" << std::endl
<< "%---------------------------------------" << std::endl << std::endl; << "%---------------------------------------" << std::endl;
} }
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////