Shuffle()

nightly · Aug 21, 2023 · a21ee72 · a21ee72
1 parent fe33238
commit a21ee72
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/lts/state.h b/src/lts/state.h
@@ -34,10 +34,14 @@ namespace nightly {
 		}
 
 		const std::vector<Transition<KeyT, TransitionT>>& transitions_shuffled(std::mt19937& rng) {
-			std::shuffle(transitions_.begin(), transitions_.end(), rng);
+			Shuffle(rng);
 			return transitions_;
 		}
 
+		void Shuffle(std::mt19937& rng) {
+			std::shuffle(transitions_.begin(), transitions_.end(), rng);
+		}
+
 		void AddTransition(const TransitionT& label, const KeyT& end_state) {
 			transitions_.emplace_back(label, end_state);
 		}