diff options
| author | Maksim Denisov <denisov.maksim@huawei.com> | 2024-09-30 12:16:43 +0200 |
|---|---|---|
| committer | Maksim Denisov <denisov.maksim@huawei.com> | 2024-10-07 13:37:39 +0200 |
| commit | ce23db59c6399199fa55b4b7dc8880522e2f1bca (patch) | |
| tree | 5b77d3c84289f023cbe6f4a81cf391a0087fe660 /src/utils/automata/dfa_minimizer.hpp | |
| parent | e5d7cb5ce5b9cc40b0c56b18980a4234118c1739 (diff) | |
| download | justbuild-ce23db59c6399199fa55b4b7dc8880522e2f1bca.tar.gz | |
Enable readability-redundant-member-init check.
Diffstat (limited to 'src/utils/automata/dfa_minimizer.hpp')
| -rw-r--r-- | src/utils/automata/dfa_minimizer.hpp | 10 |
1 files changed, 5 insertions, 5 deletions
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> { |