From ce23db59c6399199fa55b4b7dc8880522e2f1bca Mon Sep 17 00:00:00 2001
From: Maksim Denisov <denisov.maksim@huawei.com>
Date: Mon, 30 Sep 2024 12:16:43 +0200
Subject: Enable readability-redundant-member-init check.

---
 src/utils/automata/dfa_minimizer.hpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/utils/automata/dfa_minimizer.hpp')

diff --git a/src/utils/automata/dfa_minimizer.hpp b/src/utils/automata/dfa_minimizer.hpp
index 950635ac..5017b635 100644
--- a/src/utils/automata/dfa_minimizer.hpp
+++ b/src/utils/automata/dfa_minimizer.hpp
@@ -44,8 +44,8 @@ class DFAMinimizer {
 
     // Bucket of states with equal local properties (content and acceptance)
     struct Bucket {
-        std::vector<std::string> symbols{};
-        states_t states{};
+        std::vector<std::string> symbols;
+        states_t states;
     };
 
     // Key used for state pairs. Reordering names will result in the same key.
@@ -85,7 +85,7 @@ class DFAMinimizer {
     // Value of state pairs.
     struct StatePairValue {
         // Parent pairs depending on this pair's distinguishability
-        std::vector<StatePairValue*> parents{};
+        std::vector<StatePairValue*> parents;
         // Distinguishability flag (true means distinguishable)
         bool marked{};
     };
@@ -170,8 +170,8 @@ class DFAMinimizer {
     }
 
   private:
-    std::unordered_map<std::string, Bucket> buckets_{};
-    std::unordered_map<std::string, std::string> buckets_by_state_{};
+    std::unordered_map<std::string, Bucket> buckets_;
+    std::unordered_map<std::string, std::string> buckets_by_state_;
 
     template <class M, class K = typename M::key_type>
     [[nodiscard]] static auto GetKeys(M const& map) -> std::vector<K> {
-- 
cgit v1.2.3