summaryrefslogtreecommitdiff
path: root/src/utils
diff options
context:
space:
mode:
Diffstat (limited to 'src/utils')
-rw-r--r--src/utils/automata/dfa_minimizer.hpp10
-rw-r--r--src/utils/cpp/atomic.hpp8
-rw-r--r--src/utils/cpp/file_locking.hpp2
-rw-r--r--src/utils/cpp/tmp_dir.hpp2
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