Preparing more general form of PDDL normalization.

include/plasp/pddl/Description.h

@@ -35,7 +35,7 @@ class Description
 		bool containsProblem() const;
 		const Problem &problem() const;
 
-		void normalizeParameterNames();
+		void normalize();
 
 	private:
 		Description();

include/plasp/pddl/Domain.h

@@ -51,7 +51,7 @@ class Domain
 
 		void checkConsistency();
 
-		void normalizeParameterNames();
+		void normalize();
 
 	private:
 		void parseSection();
@@ -67,6 +67,8 @@ class Domain
 
 		void parseActionSection();
 
+		void normalizeParameterNames();
+
 		Context &m_context;
 
 		std::string m_name;

src/plasp/pddl/Description.cpp

@@ -204,9 +204,9 @@ void Description::checkConsistency()
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////
 
-void Description::normalizeParameterNames()
+void Description::normalize()
 {
-	m_domain->normalizeParameterNames();
+	m_domain->normalize();
 }
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////

src/plasp/pddl/Domain.cpp

@@ -415,6 +415,13 @@ void Domain::checkConsistency()
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////
 
+void Domain::normalize()
+{
+	normalizeParameterNames();
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
 void Domain::normalizeParameterNames()
 {
 	std::for_each(m_predicates.begin(), m_predicates.end(),

src/plasp/pddl/TranslatorASP.cpp

@@ -23,7 +23,7 @@ TranslatorASP::TranslatorASP(Description &description, utils::LogStream &outputS
 :	m_description(description),
 	m_outputStream(outputStream)
 {
-	m_description.normalizeParameterNames();
+	m_description.normalize();
 }
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////