diff options
Diffstat (limited to 'src/utils')
-rw-r--r-- | src/utils/automata/dfa_minimizer.hpp | 10 | ||||
-rw-r--r-- | src/utils/cpp/atomic.hpp | 8 | ||||
-rw-r--r-- | src/utils/cpp/file_locking.hpp | 2 | ||||
-rw-r--r-- | src/utils/cpp/tmp_dir.hpp | 2 |
4 files changed, 11 insertions, 11 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> { diff --git a/src/utils/cpp/atomic.hpp b/src/utils/cpp/atomic.hpp index b610a350..ec1c7dc0 100644 --- a/src/utils/cpp/atomic.hpp +++ b/src/utils/cpp/atomic.hpp @@ -88,8 +88,8 @@ class atomic { private: std::atomic<T> value_{}; - mutable std::shared_mutex mutex_{}; - mutable std::condition_variable_any cv_{}; + mutable std::shared_mutex mutex_; + mutable std::condition_variable_any cv_; }; // Atomic shared_pointer with notify/wait capabilities. @@ -134,8 +134,8 @@ class atomic_shared_ptr { private: ptr_t value_{}; - mutable std::shared_mutex mutex_{}; - mutable std::condition_variable_any cv_{}; + mutable std::shared_mutex mutex_; + mutable std::condition_variable_any cv_; }; #endif // INCLUDED_SRC_UTILS_CPP_ATOMIC_HPP diff --git a/src/utils/cpp/file_locking.hpp b/src/utils/cpp/file_locking.hpp index f8ac1443..abcca121 100644 --- a/src/utils/cpp/file_locking.hpp +++ b/src/utils/cpp/file_locking.hpp @@ -50,7 +50,7 @@ class LockFile { private: gsl::owner<FILE*> file_handle_{nullptr}; - std::filesystem::path lock_file_{}; + std::filesystem::path lock_file_; /// \brief Private ctor. Instances are only created by Acquire method. explicit LockFile(gsl::owner<FILE*> file_handle, diff --git a/src/utils/cpp/tmp_dir.hpp b/src/utils/cpp/tmp_dir.hpp index 9188fa60..bff73916 100644 --- a/src/utils/cpp/tmp_dir.hpp +++ b/src/utils/cpp/tmp_dir.hpp @@ -51,7 +51,7 @@ class TmpDir { -> TmpDirPtr; private: - std::filesystem::path tmp_dir_{}; + std::filesystem::path tmp_dir_; }; #endif // INCLUDED_SRC_OTHER_TOOLS_TMP_DIR_HPP |