From 369cea775df2640cb57aed1c919fe827030da1f1 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 11 Jun 2018 22:12:49 +0200
Subject: [PATCH] Swapped order in PriorityQueue to propagate failures in
correct order
---
src/storm-dft/storage/dft/OrderDFTElementsById.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storm-dft/storage/dft/OrderDFTElementsById.cpp b/src/storm-dft/storage/dft/OrderDFTElementsById.cpp
index 72e571ab1..c3b9185dc 100644
--- a/src/storm-dft/storage/dft/OrderDFTElementsById.cpp
+++ b/src/storm-dft/storage/dft/OrderDFTElementsById.cpp
@@ -17,7 +17,7 @@ namespace storm {
template<typename ValueType>
bool OrderElementsByRank<ValueType>::operator ()(const std::shared_ptr<DFTGate<ValueType>>& a, const std::shared_ptr<DFTGate<ValueType>>& b) const {
- return a->rank() < b->rank();
+ return a->rank() > b->rank();
}