From 6832ded200f7a563b9e2cf81148fd26fdb064fdd Mon Sep 17 00:00:00 2001 From: Maksim Denisov Date: Tue, 8 Oct 2024 09:16:13 +0200 Subject: Name classes, structs and enums using CamelCase. --- src/utils/automata/dfa_minimizer.hpp | 4 ++-- 1 file changed, 2 insertions(+), 2 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 d536bd8b..69bc0b52 100644 --- a/src/utils/automata/dfa_minimizer.hpp +++ b/src/utils/automata/dfa_minimizer.hpp @@ -51,7 +51,7 @@ class DFAMinimizer { // Key used for state pairs. Reordering names will result in the same key. class StatePairKey { public: - struct hash_t { + struct Hash { [[nodiscard]] auto operator()(StatePairKey const& p) const -> std::size_t { std::size_t hash{}; @@ -91,7 +91,7 @@ class DFAMinimizer { }; using state_pairs_t = - std::unordered_map; + std::unordered_map; public: using bisimulation_t = std::unordered_map; -- cgit v1.2.3