From 17a3dabfc5080606757a744d2c13d634e752de9f Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 19 Feb 2016 16:20:45 +0100
Subject: [PATCH] fix in weak bisim for ctmcs
Former-commit-id: 436837add1e31f9acfd22db8160a4b6dc0ba9cfd
---
.../DeterministicModelBisimulationDecomposition.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storage/bisimulation/DeterministicModelBisimulationDecomposition.cpp b/src/storage/bisimulation/DeterministicModelBisimulationDecomposition.cpp
index bc48fdffc..4ef7d93b3 100644
--- a/src/storage/bisimulation/DeterministicModelBisimulationDecomposition.cpp
+++ b/src/storage/bisimulation/DeterministicModelBisimulationDecomposition.cpp
@@ -542,7 +542,7 @@ namespace storm {
// However, for weak bisimulation, we need to make sure the representative state is a non-silent one (if
// there is any such state).
- if (this->options.getType() == BisimulationType::Weak) {
+ if (this->options.getType() == BisimulationType::Weak && this->model.getType() == storm::models::ModelType::Dtmc) {
for (auto const& state : block) {
if (!isSilent(state)) {
representativeState = state;