From 0a1044743e076d09088444ee89ea1465bd9d4b3f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 13 Aug 2016 02:33:28 +0200 Subject: [PATCH] Renamed meta predicate for simplicity. --- src/plasp/pddl/TranslatorASP.cpp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index 74010f0..25bd8b0 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -114,9 +114,9 @@ void TranslatorASP::translateTypes() const << "(" << typeName << "), " << utils::Keyword("type") << "(" << parentTypeName << "))." << std::endl - << utils::Keyword("hasType") << "(" << utils::Variable("X") << ", " + << utils::Keyword("has") << "(" << utils::Variable("X") << ", " << utils::Keyword("type") << "(" << parentTypeName << ")) :- " - << utils::Keyword("hasType") << "(" << utils::Variable("X") << ", " + << utils::Keyword("has") << "(" << utils::Variable("X") << ", " << utils::Keyword("type") << "(" << typeName << "))." << std::endl; }); }); @@ -271,13 +271,13 @@ void TranslatorASP::translateConstants(const std::string &heading, const express if (type != nullptr) { - m_outputStream << utils::Keyword("hasType") << "(" + m_outputStream << utils::Keyword("has") << "(" << utils::Keyword("constant") << "(" << constantName << "), " << utils::Keyword("type") << "(" << utils::escapeASP(type->name()) << "))." << std::endl; } else { - m_outputStream << utils::Keyword("hasType") << "(" + m_outputStream << utils::Keyword("has") << "(" << utils::Keyword("constant") << "(" << constantName << "), " << utils::Keyword("type") << "(object))." << std::endl; } @@ -329,13 +329,13 @@ void TranslatorASP::translateVariablesBody(const expressions::Variables &variabl const auto &type = *dynamic_cast(variable.type()); - m_outputStream << utils::Keyword("hasType") << "(" + m_outputStream << utils::Keyword("has") << "(" << utils::Variable(utils::escapeASPVariable(variable.name())) << ", " << utils::Keyword("type") << "(" << utils::escapeASP(type.name()) << "))"; } else { - m_outputStream << utils::Keyword("hasType") << "(" + m_outputStream << utils::Keyword("has") << "(" << utils::Variable(utils::escapeASPVariable(variable.name())) << ", " << utils::Keyword("type") << "(object))"; }