From 5fe81952cb56538346fd811f43ae7a23d752a54e Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Fri, 13 Aug 2021 15:33:54 +0200 Subject: [PATCH] Removed an outdated TODO comment. --- src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp b/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp index 2c01f8c4b..677695e6a 100644 --- a/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp +++ b/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp @@ -237,7 +237,7 @@ namespace storm { storm::storage::BitVector acceptingStates; if (Nondeterministic) { STORM_LOG_INFO("Computing MECs and checking for acceptance..."); - acceptingStates = computeAcceptingECs(*product->getAcceptance(), product->getProductModel().getTransitionMatrix(), product->getProductModel().getBackwardTransitions(), product); //TODO product is only needed for ->getModelState(pState) (remove arg) + acceptingStates = computeAcceptingECs(*product->getAcceptance(), product->getProductModel().getTransitionMatrix(), product->getProductModel().getBackwardTransitions(), product); } else { STORM_LOG_INFO("Computing BSCCs and checking for acceptance...");