#ifndef Random_H
#define Random_H

/* Last edited on 2007-02-02 21:04:12 by stolfi */

/* Random number generators. */

#include <stdlib.h>

typedef struct Random_t Random_t;
  /* A state record for a random number generator. */
  
Random_t *MakeRandomSource(long int seed);
  /* Creates a new random number generator. */

double RandomDouble(Random_t *coins, double lo, double hi);
  /* Returns a random number in {[lo _ hi ]}, derived
    from the given {coins}. */

#endif