From 1840b200d56d8c0dbdbfa118db25ce7659a259d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 21 May 2016 03:03:00 +0200 Subject: [PATCH] Added to-do. --- src/plasp/sas/TranslatorASP.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp index c12ddb2..e688078 100644 --- a/src/plasp/sas/TranslatorASP.cpp +++ b/src/plasp/sas/TranslatorASP.cpp @@ -85,6 +85,7 @@ void TranslatorASP::translate(std::ostream &ostream) const std::for_each(fluents.cbegin(), fluents.cend(), [&](const auto *fluent) { + // TODO: Handle 0-ary predicates ostream << "fluent(" << *fluent << ")." << std::endl; });