1 files changed, 18 insertions, 0 deletions
diff --git a/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/Translator/StatisticsReport.java b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/Translator/StatisticsReport.java
new file mode 100644
index 00000000000..8acfe0c5a79
--- /dev/null
+++ b/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/Translator/StatisticsReport.java
@@ -0,0 +1,18 @@
+package Translator;
+
+import java.util.Map;
+
+public class StatisticsReport {
+
+	private final String domainName;
+	private final String problemName;
+	public Map<String, InfoSet> reports;
+	
+	public StatisticsReport(String domainName, String problemName) {
+		
+		this.domainName = domainName;
+		this.problemName = problemName;
+		
+	}
+
+}