From a51b7a132c7a0240dc7197b055e10d5ad789792f Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Tue, 16 Mar 2021 13:51:51 +0100 Subject: [PATCH] fixed ChoiceFilter comparison --- src/storm/shields/AbstractShield.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/shields/AbstractShield.h b/src/storm/shields/AbstractShield.h index 805c66e78..379bdeb77 100644 --- a/src/storm/shields/AbstractShield.h +++ b/src/storm/shields/AbstractShield.h @@ -21,10 +21,10 @@ namespace tempest { namespace utility { template struct ChoiceFilter { - bool operator()(ValueType max, ValueType v, double shieldValue) { + bool operator()(ValueType v, ValueType max, double shieldValue) { Compare compare; if(relative) return compare(v, max * shieldValue); - else return compare(v, max); + else return compare(v, shieldValue); } }; }