From 2c231a794d490d483250c455b990165ac91f20e8 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 10 Sep 2014 20:15:50 +0200
Subject: [PATCH] SCC decomposition now correctly ignores zero-entries in the
 matrix.

Former-commit-id: 351c0ac6ade95a54f533a1318532632ac7266d78
---
 src/storage/StronglyConnectedComponentDecomposition.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/StronglyConnectedComponentDecomposition.cpp b/src/storage/StronglyConnectedComponentDecomposition.cpp
index 46990e7eb..784e99ab0 100644
--- a/src/storage/StronglyConnectedComponentDecomposition.cpp
+++ b/src/storage/StronglyConnectedComponentDecomposition.cpp
@@ -161,7 +161,7 @@ namespace storm {
                 
                 bool recursionStepIn = false;
                 for (; successorIt != model.getRows(currentState).end(); ++successorIt) {
-                    if (subsystem.get(successorIt->getColumn())) {
+                    if (subsystem.get(successorIt->getColumn()) && successorIt->getValue() != storm::utility::constantZero<ValueType>()) {
                         if (currentState == successorIt->getColumn()) {
                             statesWithSelfLoop.set(currentState);
                         }