klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::RNG Class Reference

#include <RNG.h>

Public Member Functions

 RNG (unsigned int seed=5489UL)
 
void seed (unsigned int seed)
 
unsigned int getInt32 ()
 
int getInt31 ()
 
double getDoubleLR ()
 
float getFloatLR ()
 
double getDoubleL ()
 
float getFloatL ()
 
double getDouble ()
 
float getFloat ()
 
bool getBool ()
 

Private Attributes

unsigned int mt [N]
 
int mti
 

Static Private Attributes

static const int N = 624
 
static const int M = 397
 
static const unsigned int MATRIX_A = 0x9908b0dfUL
 
static const unsigned int UPPER_MASK = 0x80000000UL
 
static const unsigned int LOWER_MASK = 0x7fffffffUL
 

Detailed Description

Definition at line 14 of file RNG.h.

Constructor & Destructor Documentation

RNG::RNG ( unsigned int  seed = 5489UL)

Definition at line 50 of file RNG.cpp.

References seed().

Here is the call graph for this function:

Member Function Documentation

bool RNG::getBool ( )

Definition at line 138 of file RNG.cpp.

References getInt32().

Referenced by klee::Executor::fork().

Here is the call graph for this function:

Here is the caller graph for this function:

double RNG::getDouble ( )

Definition at line 120 of file RNG.cpp.

References getInt32().

Here is the call graph for this function:

double RNG::getDoubleL ( )

Definition at line 114 of file RNG.cpp.

References getInt32().

Referenced by klee::WeightedRandomSearcher::selectState().

Here is the call graph for this function:

Here is the caller graph for this function:

double RNG::getDoubleLR ( )

Definition at line 108 of file RNG.cpp.

References getInt32().

Here is the call graph for this function:

float RNG::getFloat ( )

Definition at line 133 of file RNG.cpp.

References getInt32().

Here is the call graph for this function:

float RNG::getFloatL ( )

Definition at line 129 of file RNG.cpp.

References getInt32().

Here is the call graph for this function:

float RNG::getFloatLR ( )

Definition at line 125 of file RNG.cpp.

References getInt32().

Here is the call graph for this function:

int RNG::getInt31 ( )

Definition at line 103 of file RNG.cpp.

References getInt32().

Here is the call graph for this function:

unsigned int RNG::getInt32 ( )
void RNG::seed ( unsigned int  seed)

Definition at line 54 of file RNG.cpp.

References mt, mti, and N.

Referenced by RNG().

Here is the caller graph for this function:

Member Data Documentation

const unsigned int klee::RNG::LOWER_MASK = 0x7fffffffUL
staticprivate

Definition at line 21 of file RNG.h.

Referenced by getInt32().

const int klee::RNG::M = 397
staticprivate

Definition at line 18 of file RNG.h.

Referenced by getInt32().

const unsigned int klee::RNG::MATRIX_A = 0x9908b0dfUL
staticprivate

Definition at line 19 of file RNG.h.

Referenced by getInt32().

unsigned int klee::RNG::mt[N]
private

Definition at line 24 of file RNG.h.

Referenced by getInt32(), and seed().

int klee::RNG::mti
private

Definition at line 25 of file RNG.h.

Referenced by getInt32(), and seed().

const int klee::RNG::N = 624
staticprivate

Definition at line 17 of file RNG.h.

Referenced by getInt32(), and seed().

const unsigned int klee::RNG::UPPER_MASK = 0x80000000UL
staticprivate

Definition at line 20 of file RNG.h.

Referenced by getInt32().


The documentation for this class was generated from the following files: