Fix in bisimulation of MDPs, which failed if all non-absorbing states in the quotient are initial

CHANGELOG.md

@@ -7,6 +7,8 @@ The releases of major and minor versions contain an overview of changes since th
 Version 1.3.x
 -------------
 
+### Version 1.3.1 (under development)
+- Fixed sparse bisimulation of MDPs (which failed if all non-absorbing states in the quotient are initial)
 
 ### Version 1.3.0 (2018/12)
 - Slightly improved scheduler extraction

src/storm/storage/bisimulation/NondeterministicModelBisimulationDecomposition.cpp

@@ -211,7 +211,7 @@ namespace storm {
             }
             
             // Finally construct the quotient model.
-            this->quotient = std::make_shared<ModelType>(builder.build(), std::move(newLabeling), std::move(rewardModels));
+            this->quotient = std::make_shared<ModelType>(builder.build(0,this->size(), this->size()), std::move(newLabeling), std::move(rewardModels));
         }
         
         template<typename ModelType>