Fixed bug with not setting nondetermism correctly

Former-commit-id: cd1e029c29

src/builder/ExplicitDFTModelBuilderApprox.cpp

@@ -17,7 +17,7 @@ namespace storm {
         }
 
         template<typename ValueType, typename StateType>
-        ExplicitDFTModelBuilderApprox<ValueType, StateType>::MatrixBuilder::MatrixBuilder(bool canHaveNondeterminism) : mappingOffset(0), stateRemapping(), currentRowGroup(0), currentRow(0) {
+        ExplicitDFTModelBuilderApprox<ValueType, StateType>::MatrixBuilder::MatrixBuilder(bool canHaveNondeterminism) : mappingOffset(0), stateRemapping(), currentRowGroup(0), currentRow(0), canHaveNondeterminism((canHaveNondeterminism)) {
             // Create matrix builder
             builder = storm::storage::SparseMatrixBuilder<ValueType>(0, 0, 0, false, canHaveNondeterminism, 0);
         }

src/builder/ExplicitDFTModelBuilderApprox.h

@@ -114,9 +114,6 @@ namespace storm {
                     return currentRowGroup;
                 }
 
-                // Flag indicating if row groups are needed.
-                bool canHaveNondeterminism;
-
                 // Matrix builder.
                 storm::storage::SparseMatrixBuilder<ValueType> builder;
 
@@ -134,6 +131,9 @@ namespace storm {
 
                 // Index of the current row.
                 StateType currentRow;
+
+                // Flag indicating if row groups are needed.
+                bool canHaveNondeterminism;
             };
 
         public: