#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