#ifndef __EW_RANDOM_H
#define __EW_RANDOM_H

#include <limits.h>          // for INT_MAX

class random_generator
{
   public:

      random_generator();
                                                   // returns int in ...
      int    random_int (int max = INT_MAX);       //        [0, max)
      int    random_int (int low, int max);        //        [low, max]

                                                   // returns double in ...
      double random_real();                        //        [0, 1)
      double random_real(double low, double max);  //        [low, max]

   private:

      static int our_initialized;
};

#endif