From 70181387a38b66849624695b63255cf50a3a60f4 Mon Sep 17 00:00:00 2001
From: Lanchid <thomas.heinemann@rwth-aachen.de>
Date: Fri, 25 Jan 2013 17:37:56 +0100
Subject: [PATCH] Add forward declarations

---
 src/modelChecker/ForwardDeclarations.h | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 src/modelChecker/ForwardDeclarations.h

diff --git a/src/modelChecker/ForwardDeclarations.h b/src/modelChecker/ForwardDeclarations.h
new file mode 100644
index 000000000..715f1488c
--- /dev/null
+++ b/src/modelChecker/ForwardDeclarations.h
@@ -0,0 +1,23 @@
+/*
+ * ForwardDeclarations.h
+ *
+ *  Created on: 14.01.2013
+ *      Author: thomas
+ */
+
+#ifndef STORM_MODELCHECKER_FORWARDDECLARATIONS_H_
+#define STORM_MODELCHECKER_FORWARDDECLARATIONS_H_
+
+
+namespace storm {
+
+namespace modelChecker {
+
+template <class Type>
+class DtmcPrctlModelChecker;
+
+} //namespace modelChecker
+
+} //namespace storm
+
+#endif /* STORM_MODELCHECKER_FORWARDDECLARATIONS_H_ */