Use doubles for random generators instead of ints and floats.

[simgrid.git] / src / surf / random_mgr.c

diff --git a/src/surf/random_mgr.c b/src/surf/random_mgr.c
index 6249e33f4772dbfce582177a937d5f531a5623ff..4a9a0b7a482ae91018a1d30064e840297fe2a81c 100644 (file)
--- a/src/surf/random_mgr.c
+++ b/src/surf/random_mgr.c
@@ -5,11 +5,12 @@
 #ifdef WIN32
 static double drand48(void)
 {
-       return rand()/(double)RAND_MAX;
+   THROW_UNIMPLEMENTED;
+   return -1;
 }
 #endif
 
-static double custom_random(int generator){
+static double custom_random(Generator generator){
    switch(generator) {
       
        case DRAND48:return drand48();  
@@ -19,8 +20,8 @@ static double custom_random(int generator){
 }
 
 /* Generate numbers between min and max with a given mean and standard deviation */
-float random_generate(random_data_t random){  
-  float x1, x2, w, y;
+double random_generate(random_data_t random){  
+  double x1, x2, w, y;
   
   if (random == NULL) return 0.0f;  
 
@@ -45,7 +46,7 @@ float random_generate(random_data_t random){
   return y;
 }
 
-random_data_t random_new(int generator, int min, int max, int mean, int stdDeviation){
+random_data_t random_new(Generator generator, double min, double max, double mean, double stdDeviation){
   random_data_t random = xbt_new0(s_random_data_t, 1);
   random->generator = generator;
   random->min = min;