Add forward declarations

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_ */