Added to-do.

2016-09-09 13:38:15 +02:00 · 2016-09-09 13:38:15 +02:00 · cc0b9726ed
parent bec63898af
commit cc0b9726ed
1 changed files with 2 additions and 0 deletions
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@ -271,6 +271,8 @@ void TranslatorASP::translateAxiomRules() const
 				<< utils::Number(axiomRuleID)
 				<< "))." << std::endl;

+			// TODO: Translate axiom rule layer
+
 			const auto &conditions = axiomRule.conditions();

 			std::for_each(conditions.cbegin(), conditions.cend(),