Merge pull request #48 from tand00/main

Fallback to CPP standard RNG
TAPAAL · Sep 17, 2024 · 19ea514 · 19ea514
2 parents 6ed88bc + ca46b58
commit 19ea514
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/include/DiscreteVerification/Generators/SMCRunGenerator.h b/include/DiscreteVerification/Generators/SMCRunGenerator.h
@@ -8,8 +8,6 @@
 #ifndef SMCRUNGENERATOR_H
 #define SMCRUNGENERATOR_H
 
-#include <boost/random/mersenne_twister.hpp>
-
 #include "DiscreteVerification/Generators/Generator.h"
 #include "DiscreteVerification/Util/IntervalOps.hpp"
 #include "Core/Query/SMCQuery.hpp"
@@ -29,8 +27,8 @@ namespace VerifyTAPN {
             , _transitionsStatistics(tapn.getTransitions().size(), 0)
             , _numericPrecision(numericPrecision)
             {
-                /*std::random_device rd;
-                _rng = std::ranlux48(rd());*/
+                std::random_device rd;
+                _rng = std::ranlux48(rd());
             };
 
             ~SMCRunGenerator() {
@@ -95,7 +93,7 @@ namespace VerifyTAPN {
 
             unsigned int _numericPrecision = 0;
 
-            boost::random::mt19937_64 _rng;
+            std::ranlux48 _rng;
 
             std::vector<RealMarking*> _trace;