From 6eeecaf7f88e99aa98d835de1d6cd35da1c04878 Mon Sep 17 00:00:00 2001 From: TimQu Date: Thu, 20 Aug 2020 10:23:27 +0200 Subject: [PATCH] Fixed compatibility with older boost versions. --- .../helper/infinitehorizon/internal/ComponentUtility.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/modelchecker/helper/infinitehorizon/internal/ComponentUtility.h b/src/storm/modelchecker/helper/infinitehorizon/internal/ComponentUtility.h index 2a9d62415..ae15341f9 100644 --- a/src/storm/modelchecker/helper/infinitehorizon/internal/ComponentUtility.h +++ b/src/storm/modelchecker/helper/infinitehorizon/internal/ComponentUtility.h @@ -20,7 +20,7 @@ namespace storm { inline uint64_t getComponentElementChoiceCount(typename storm::storage::MaximalEndComponent::map_type::value_type const& element) { return element.second.size(); } inline typename storm::storage::MaximalEndComponent::set_type::const_iterator getComponentElementChoicesBegin(typename storm::storage::MaximalEndComponent::map_type::value_type const& element) { return element.second.begin(); } inline typename storm::storage::MaximalEndComponent::set_type::const_iterator getComponentElementChoicesEnd(typename storm::storage::MaximalEndComponent::map_type::value_type const& element) { return element.second.end(); } - inline bool componentElementChoicesContains(storm::storage::MaximalEndComponent::map_type::value_type const& element, uint64_t choice) { return element.second.contains(choice); } + inline bool componentElementChoicesContains(storm::storage::MaximalEndComponent::map_type::value_type const& element, uint64_t choice) { return element.second.count(choice) > 0; } } } }