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

Added missing argument to ASP predicate.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-28 00:35:28 +02:00
parent d82ae8544b
commit a5038535f4
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -240,7 +240,14 @@ void TranslatorASP::translateDerivedPredicates() const
if (enumerateExistentialParameters && !derivedPredicate->existentialParameters.empty()) if (enumerateExistentialParameters && !derivedPredicate->existentialParameters.empty())
translateVariablesForRuleHead(m_outputStream, derivedPredicate->existentialParameters); translateVariablesForRuleHead(m_outputStream, derivedPredicate->existentialParameters);
m_outputStream << "))"; m_outputStream << ")), " << colorlog::Keyword("type") << "(";
if (derivedPredicate->precondition.value().is<::pddl::normalizedAST::OrPointer<::pddl::normalizedAST::Literal>>())
m_outputStream << colorlog::Reserved("or");
else
m_outputStream << colorlog::Reserved("and");
m_outputStream << ")";
}; };
m_outputStream << std::endl; m_outputStream << std::endl;
@ -248,14 +255,7 @@ void TranslatorASP::translateDerivedPredicates() const
// Name // Name
m_outputStream << colorlog::Function("derivedPredicate") << "("; m_outputStream << colorlog::Function("derivedPredicate") << "(";
printDerivedPredicateName(); printDerivedPredicateName();
m_outputStream << ", " << colorlog::Keyword("type") << "("; m_outputStream << ")";
if (derivedPredicate->precondition.value().is<::pddl::normalizedAST::OrPointer<::pddl::normalizedAST::Literal>>())
m_outputStream << colorlog::Reserved("or");
else
m_outputStream << colorlog::Reserved("and");
m_outputStream << "))";
if (!derivedPredicate->parameters.empty() || !derivedPredicate->existentialParameters.empty()) if (!derivedPredicate->parameters.empty() || !derivedPredicate->existentialParameters.empty())
m_outputStream << " :- "; m_outputStream << " :- ";