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

Escaping PDDL identifiers for use with ASP.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-13 03:31:22 +02:00
parent 8563011939
commit 421125fee6
1 changed files with 19 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -185,15 +185,19 @@ void TranslatorASP::translateTypes() const
{ {
m_ostream << std::endl; m_ostream << std::endl;
m_ostream << "type(" << type->name() << ")." << std::endl; const auto typeName = utils::escapeASP(type->name());
m_ostream << "type(" << typeName << ")." << std::endl;
const auto &parentTypes = type->parentTypes(); const auto &parentTypes = type->parentTypes();
std::for_each(parentTypes.cbegin(), parentTypes.cend(), std::for_each(parentTypes.cbegin(), parentTypes.cend(),
[&](const auto &parentType) [&](const auto &parentType)
{ {
m_ostream << "inherits(type(" << type->name() << "), type(" << parentType->name() << "))." << std::endl; const auto parentTypeName = utils::escapeASP(parentType->name());
m_ostream << "hasType(X, type(" << parentType->name() << ")) :- hasType(X, type(" << type->name() << "))." << std::endl;
m_ostream << "inherits(type(" << typeName << "), type(" << parentTypeName << "))." << std::endl;
m_ostream << "hasType(X, type(" << parentTypeName << ")) :- hasType(X, type(" << typeName << "))." << std::endl;
}); });
}); });
} }
@ -211,14 +215,16 @@ void TranslatorASP::translateConstants() const
{ {
m_ostream << std::endl; m_ostream << std::endl;
m_ostream << "constant(" << constant->name() << ")." << std::endl; const auto constantName = utils::escapeASP(constant->name());
m_ostream << "constant(" << constantName << ")." << std::endl;
const auto *type = constant->type(); const auto *type = constant->type();
if (type == nullptr) if (type == nullptr)
return; return;
m_ostream << "hasType(constant(" << constant->name() << "), type(" << type->name() << "))." << std::endl; m_ostream << "hasType(constant(" << constantName << "), type(" << utils::escapeASP(type->name()) << "))." << std::endl;
}); });
} }
@ -235,7 +241,7 @@ void TranslatorASP::translatePredicates() const
{ {
m_ostream << std::endl; m_ostream << std::endl;
m_ostream << "predicate(" << predicate->name(); m_ostream << "predicate(" << utils::escapeASP(predicate->name());
this->translateVariablesHead(predicate->arguments()); this->translateVariablesHead(predicate->arguments());
@ -260,7 +266,7 @@ void TranslatorASP::translateActions() const
const auto printActionName = const auto printActionName =
[&](const auto &action) [&](const auto &action)
{ {
m_ostream << "action(" << action.name(); m_ostream << "action(" << utils::escapeASP(action.name());
this->translateVariablesHead(action.parameters()); this->translateVariablesHead(action.parameters());
@ -416,7 +422,7 @@ void TranslatorASP::translateLiteral(const Expression &literal) const
void TranslatorASP::translatePredicate(const expressions::Predicate &predicate) const void TranslatorASP::translatePredicate(const expressions::Predicate &predicate) const
{ {
m_ostream << "predicate(" << predicate.name(); m_ostream << "predicate(" << utils::escapeASP(predicate.name());
const auto &arguments = predicate.arguments(); const auto &arguments = predicate.arguments();
@ -437,7 +443,7 @@ void TranslatorASP::translatePredicate(const expressions::Predicate &predicate)
{ {
const auto &constant = dynamic_cast<const expressions::Constant &>(**i); const auto &constant = dynamic_cast<const expressions::Constant &>(**i);
m_ostream << "constant(" << constant.name() << ")"; m_ostream << "constant(" << utils::escapeASP(constant.name()) << ")";
} }
else if ((*i)->expressionType() == Expression::Type::Variable) else if ((*i)->expressionType() == Expression::Type::Variable)
{ {
@ -496,14 +502,16 @@ void TranslatorASP::translateObjects() const
{ {
m_ostream << std::endl; m_ostream << std::endl;
m_ostream << "constant(" << object->name() << ")." << std::endl; const auto objectName = utils::escapeASP(object->name());
m_ostream << "constant(" << objectName << ")." << std::endl;
const auto *type = object->type(); const auto *type = object->type();
if (type == nullptr) if (type == nullptr)
return; return;
m_ostream << "hasType(constant(" << object->name() << "), type(" << type->name() << "))." << std::endl; m_ostream << "hasType(constant(" << objectName << "), type(" << utils::escapeASP(type->name()) << "))." << std::endl;
}); });
} }