From cdedf4e78fb25b545a92d2b39d3b5465f42a6f4b Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 9 Aug 2021 12:28:36 +0200
Subject: [PATCH] Added comment for formula equality check. Strongly related to
github issue #132.
---
src/storm/logic/ExtractMaximalStateFormulasVisitor.cpp | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/storm/logic/ExtractMaximalStateFormulasVisitor.cpp b/src/storm/logic/ExtractMaximalStateFormulasVisitor.cpp
index 6652c868b..c149a144f 100644
--- a/src/storm/logic/ExtractMaximalStateFormulasVisitor.cpp
+++ b/src/storm/logic/ExtractMaximalStateFormulasVisitor.cpp
@@ -150,7 +150,9 @@ namespace storm {
}
std::shared_ptr<Formula> ExtractMaximalStateFormulasVisitor::extract(std::shared_ptr<Formula> f) const {
- // TODO can be optimized
+ // We use the string representation of formulae to check if they are equivalent.
+ // Of course, this could be made more elegant if there were an actual operator< and/or operator== for formulae
+
std::string label;
// Find equivalent formula in cache