From ce962bf1df6ab922ce99d92959bb52e899a21f0b Mon Sep 17 00:00:00 2001 From: TimQu Date: Thu, 1 Oct 2020 20:03:15 +0200 Subject: [PATCH] SparseMaPcaaChecker: Fixed cycle detection. --- .../multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/modelchecker/multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp index 14169ca0d..a60ecc012 100644 --- a/src/storm/modelchecker/multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp +++ b/src/storm/modelchecker/multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp @@ -95,7 +95,7 @@ namespace storm { digitizeTimeBounds(upperTimeBounds, digitizationConstant); // Check whether there is a cycle in of probabilistic states - bool acyclic = storm::utility::graph::hasCycle(PS.toPS); + bool acyclic = !storm::utility::graph::hasCycle(PS.toPS); // Initialize a minMaxSolver to compute an optimal scheduler (w.r.t. PS) for each epoch // No EC elimination is necessary as we assume non-zenoness