switchable random number generators

2023-11-17 21:57:28 +01:00
parent c5a2865639
commit 578ca7bab6
10 changed files with 110 additions and 63 deletions
--- a/permutation.cc
+++ b/permutation.cc
@@ -167,7 +167,7 @@ this->copyonwrite();
 this->identity();
 for(int i=n-1; i>=1; --i)
 	{
-	int j= random()%(i+1);
+	int j= RANDINT32()%(i+1);
 	T tmp = (*this)[i+1];
 	(*this)[i+1]=(*this)[j+1];
 	(*this)[j+1]=tmp;