(#332) linter fix

OnionGrief · Apr 16, 2024 · 0e3302c · 0e3302c
1 parent a1ef7c2
commit 0e3302c
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/libs/InputGenerator/include/InputGenerator/AutomatonGenerator.h b/libs/InputGenerator/include/InputGenerator/AutomatonGenerator.h
@@ -75,8 +75,8 @@ class AutomatonGenerator {
 
 	void add_terminality();
 
-	bool coloring_MFA_transition(int beg, FAtransition& trans,
-								 int color); // NOLINT(runtime/references)
+	bool coloring_MFA_transition(int beg, FAtransition& trans, // NOLINT(runtime/references)
+								 int color);
 
 	void generate_graph();
 

diff --git a/libs/Objects/src/MemoryFiniteAutomaton.cpp b/libs/Objects/src/MemoryFiniteAutomaton.cpp
@@ -977,16 +977,16 @@ bool MemoryFiniteAutomaton::check_memory_correctness() {
 	map<int, set<int>> open_cells;
 	// Ячейки, переходы из которых надо проверить
 	set<int> states_to_check;
-	for (auto state : get_states()) {
+	for (const auto& state : get_states()) {
 		states_to_check.insert(state.index);
 	}
 
 	while (!states_to_check.empty()) {
 		int cur_state = *states_to_check.begin();
 		states_to_check.erase(cur_state);
 		auto transitions = get_states()[cur_state].transitions;
-		for (auto symbol_transitions : transitions) {
-			for (auto transition : symbol_transitions.second) {
+		for (const auto& symbol_transitions : transitions) {
+			for (const auto& transition : symbol_transitions.second) {
 				for (auto cell : open_cells[cur_state]) {
 					// Если в текущем состоянии ячейка открыта для записи и переход её не закрывает
 					bool pass = !transition.memory_actions.count(cell);
@@ -1011,16 +1011,16 @@ bool MemoryFiniteAutomaton::check_memory_correctness() {
 		}
 	}
 
-	for (auto state : get_states()) {
+	for (const auto& state : get_states()) {
 		auto transitions = get_states()[state.index].transitions;
-		for (auto symbol_transitions : transitions) {
+		for (const auto& symbol_transitions : transitions) {
 			// Ячейка может быть открыта и по ней существует переход
 			if (symbol_transitions.first.is_ref() &&
 				open_cells[state.index].count(symbol_transitions.first.get_ref())) {
 				return false;
 				// throw runtime_error("MFA ERROR(Reading from the open cell)");
 			}
-			for (auto transition : symbol_transitions.second) {
+			for (const auto& transition : symbol_transitions.second) {
 				for (auto action : transition.memory_actions) {
 					if (action.second == MFATransition::open) {
 						if (symbol_transitions.first.is_ref() &&