klee

#include <RNG.h>
Public Member Functions  
RNG ()  
RNG (unsigned int seed)  
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 
RNG::RNG  (  ) 

explicit 
bool RNG::getBool  (  ) 
Definition at line 151 of file RNG.cpp.
References getInt32().
Referenced by klee::Executor::fork().
double RNG::getDouble  (  ) 
Definition at line 133 of file RNG.cpp.
References getInt32().
double RNG::getDoubleL  (  ) 
Definition at line 127 of file RNG.cpp.
References getInt32().
Referenced by klee::WeightedRandomSearcher::selectState().
double RNG::getDoubleLR  (  ) 
Definition at line 121 of file RNG.cpp.
References getInt32().
float RNG::getFloat  (  ) 
Definition at line 146 of file RNG.cpp.
References getInt32().
float RNG::getFloatL  (  ) 
Definition at line 142 of file RNG.cpp.
References getInt32().
float RNG::getFloatLR  (  ) 
Definition at line 138 of file RNG.cpp.
References getInt32().
int RNG::getInt31  (  ) 
Definition at line 116 of file RNG.cpp.
References getInt32().
unsigned int RNG::getInt32  (  ) 
Definition at line 82 of file RNG.cpp.
References LOWER_MASK, M, MATRIX_A, mt, mti, N, and UPPER_MASK.
Referenced by klee::Executor::branch(), klee::Executor::checkMemoryUsage(), getBool(), getDouble(), getDoubleL(), getDoubleLR(), getFloat(), getFloatL(), getFloatLR(), getInt31(), klee::RandomSearcher::selectState(), and klee::RandomPathSearcher::selectState().
void RNG::seed  (  unsigned int  seed  ) 

staticprivate 
Definition at line 21 of file RNG.h.
Referenced by getInt32().

staticprivate 
Definition at line 18 of file RNG.h.
Referenced by getInt32().

staticprivate 
Definition at line 19 of file RNG.h.
Referenced by getInt32().

private 
Definition at line 24 of file RNG.h.
Referenced by getInt32(), and seed().

private 
Definition at line 25 of file RNG.h.
Referenced by getInt32(), and seed().

staticprivate 
Definition at line 17 of file RNG.h.
Referenced by getInt32(), and seed().

staticprivate 
Definition at line 20 of file RNG.h.
Referenced by getInt32().