Fixed code so that tests compiles.

src/models/AbstractNondeterministicModel.h

@@ -51,6 +51,15 @@ class AbstractNondeterministicModel: public AbstractModel<T> {
 			// Intentionally left empty.
 		}
 
+
+		/*!
+		 * Returns the number of choices for all states of the MDP.
+		 * @return The number of choices for all states of the MDP.
+		 */
+		uint_fast64_t getNumberOfChoices() const {
+			return this->getTransitionMatrix()->getRowCount();
+		}
+
 		/*!
 		 * Retrieves the size of the internal representation of the model in memory.
 		 * @return the size of the internal representation of the model in memory

src/models/Mdp.h

@@ -70,14 +70,6 @@ public:
 	~Mdp() {
 		// Intentionally left empty.
 	}
-	
-	/*!
-	 * Returns the number of choices for all states of the MDP.
-	 * @return The number of choices for all states of the MDP.
-	 */
-	uint_fast64_t getNumberOfChoices() const {
-		return this->probabilityMatrix->getRowCount();
-	}
 
 	storm::models::ModelType getType() const {
 		return MDP;

test/parser/ParsePrismTest.cpp

@@ -1,9 +1,10 @@
 #include "gtest/gtest.h"
 #include "storm-config.h"
 #include "src/parser/PrismParser.h"
-#include "src/utility/IoUtility.h"
+//#include "src/utility/IoUtility.h"
 #include "src/ir/Program.h"
 #include "src/adapters/ExplicitModelAdapter.h"
+#include "src/models/Dtmc.h"
 #include "src/models/Mdp.h"
 
 TEST(ParsePrismTest, parseCrowds5_5) {