From ac354d512c8c39343beda97f026b1fc9063cbea0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Tue, 24 May 2016 01:48:59 +0200
Subject: [PATCH] Treating <none of those> as a normal value in SAS translator
 output.

---
 src/plasp/sas/TranslatorASP.cpp | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index 6550f27..d9d364a 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -46,9 +46,6 @@ void TranslatorASP::translate(std::ostream &ostream) const
 	std::for_each(initialStateFacts.cbegin(), initialStateFacts.cend(),
 		[&](const auto &fact)
 		{
-			if (fact.value() == Value::None)
-				return;
-
 			ostream << "initialState(";
 			fact.variable().printNameAsASPPredicate(ostream);
 			ostream << ", ";
@@ -64,9 +61,6 @@ void TranslatorASP::translate(std::ostream &ostream) const
 	std::for_each(goalFacts.cbegin(), goalFacts.cend(),
 		[&](const auto &fact)
 		{
-			if (fact.value() == Value::None)
-				return;
-
 			ostream << "goal(";
 			fact.variable().printNameAsASPPredicate(ostream);
 			ostream << ", ";
@@ -118,9 +112,6 @@ void TranslatorASP::translate(std::ostream &ostream) const
 			std::for_each(preconditions.cbegin(), preconditions.cend(),
 				[&](const auto &precondition)
 				{
-					if (precondition.value() == Value::None)
-						return;
-
 					ostream << "precondition(";
 					operator_.printPredicateAsASP(ostream);
 					ostream << ", ";