Added to-do.

This commit is contained in:
Patrick Lühne 2016-05-21 03:03:00 +02:00
parent cac555ea42
commit 1840b200d5

View File

@ -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;
});