From 4172d320e4f2756e7fa7114ca24445b67d1cbbac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 7 Dec 2016 23:26:46 +0100 Subject: [PATCH] Cleaned up output of translated derived predicates. --- src/plasp/pddl/TranslatorASP.cpp | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index 20271c8..737f107 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -229,7 +229,7 @@ void TranslatorASP::translateDerivedPredicates() const m_outputStream << std::endl << output::Function("variable") << "(" - << output::Keyword("variable") << "("; + << output::Keyword("derived") << "("; printDerivedPredicateName(predicate); @@ -240,17 +240,7 @@ void TranslatorASP::translateDerivedPredicates() const m_outputStream << "."; }); - m_outputStream - << std::endl << std::endl - << output::Function("boolean") << "(" << output::Boolean("true") << ")." << std::endl - << output::Function("boolean") << "(" << output::Boolean("false") << ")." << std::endl - << std::endl - << output::Function("contains") << "(" - << output::Keyword("variable") << "(" << output::Variable("X") << "), " - << output::Keyword("value") << "(" << output::Variable("X") << ", " << output::Variable("B") << ")) :- " - << output::Function("variable") << "(" << output::Keyword("variable") << "(" << output::Variable("X") << ")), " - << output::Function("boolean") << "(" << output::Variable("B") << ")." - << std::endl; + m_outputStream << std::endl; } ////////////////////////////////////////////////////////////////////////////////////////////////////