From 07fe1a240e7416a3d0a1f2d35073f657e1291560 Mon Sep 17 00:00:00 2001 From: dehnert Date: Fri, 25 May 2018 10:52:55 +0200 Subject: [PATCH] fixing superfluous reverse --- src/storm/abstraction/MenuGameRefiner.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/storm/abstraction/MenuGameRefiner.cpp b/src/storm/abstraction/MenuGameRefiner.cpp index 2cab7a520..1d2fb60b3 100644 --- a/src/storm/abstraction/MenuGameRefiner.cpp +++ b/src/storm/abstraction/MenuGameRefiner.cpp @@ -595,7 +595,7 @@ namespace storm { auto pathIt = reversedPath.rbegin(); - // Decode initial state. The state valuation also includes + // Decode pivot state. The state valuation also includes // * the bottom state, so we need to reserve one more, and // * the location variables, // so we need to reserve an appropriate size. @@ -609,7 +609,7 @@ namespace storm { predicate = predicate.changeManager(expressionManager); } - // Add ranges of further constraints. + // Add further constraints (like ranges). for (auto const& pred : abstractionInformation.getConstraints()) { predicates.back().push_back(pred.changeManager(expressionManager)); } @@ -706,8 +706,6 @@ namespace storm { ++actionIt; } - std::reverse(predicates.begin(), predicates.end()); - return std::make_pair(predicates, stepVariableToCopiedVariableMap); }