RandGenerator Class Reference

List of all members.


Detailed Description

Definition at line 32 of file fss-satgen.cpp.


Public Member Functions

 RandGenerator ()
float getRand ()
float getRand (float min, float max)
int getRand (int min, int max)

Constructor & Destructor Documentation

RandGenerator (  )  [inline]

Definition at line 35 of file fss-satgen.cpp.


Member Function Documentation

float getRand (  )  [inline]

Definition at line 52 of file fss-satgen.cpp.

Referenced by getRand(), and main().

float getRand ( float  min,
float  max 
) [inline]

Definition at line 57 of file fss-satgen.cpp.

References getRand().

int getRand ( int  min,
int  max 
) [inline]

Definition at line 64 of file fss-satgen.cpp.

References getRand().


The documentation for this class was generated from the following file:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4