#ifndef _RAND2_H
#define _RAND2_H

//----------------------------------------------------------------------
//  SPECIFICATION FILE (rand2.h)
//  This module exports a class for pseudorandom number generation
//  Machine dependency: long ints must be at least 32 bits (4 bytes).
//----------------------------------------------------------------------

class RandGen {
public:
    float NextRand();
        // POST: FCTVAL == next pseudorandom number
        //    && 0.0 < FCTVAL < 1.0

//constructors:
    RandGen( /* in */ long initSeed );
        // PRE:  initSeed >= 1
        // POST: Pseudorandom sequence initialized using initSeed

    RandGen();
        // POST: Pseudorandom sequence initialized using
        //       a default initial seed
private:
    long currentSeed;
};

#endif