From 8bccb7ffa10f9b366e92092e1f27657087ca1785 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= Date: Fri, 2 Apr 2021 15:02:46 +0200 Subject: [PATCH] Fix const correctness in RelevantEvents --- src/storm-dft/utility/RelevantEvents.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm-dft/utility/RelevantEvents.h b/src/storm-dft/utility/RelevantEvents.h index 4823aad3c..4fa2d0769 100644 --- a/src/storm-dft/utility/RelevantEvents.h +++ b/src/storm-dft/utility/RelevantEvents.h @@ -47,11 +47,11 @@ namespace storm { insert(first, last); } - bool operator==(RelevantEvents const& rhs) { + bool operator==(RelevantEvents const& rhs) const { return this->allRelevant == rhs.allRelevant || this->names == rhs.names; } - bool operator!=(RelevantEvents const& rhs) { + bool operator!=(RelevantEvents const& rhs) const { return !(*this == rhs); }