A thread-safe random number generator. More...
#include <flatzinc.hh>
Public Member Functions | |
FznRnd (unsigned int s=1) | |
Constructor. More... | |
unsigned int | operator() (unsigned int n) |
Returns a random integer from the interval [0..n) More... | |
Protected Attributes | |
Gecode::Support::RandomGenerator | random |
The actual random number generator. More... | |
Gecode::Support::Mutex | mutex |
A mutex for the random number generator. More... | |
A thread-safe random number generator.
Definition at line 354 of file flatzinc.hh.
Gecode::FlatZinc::FznRnd::FznRnd | ( | unsigned int | s = 1 | ) |
Constructor.
Definition at line 320 of file flatzinc.cpp.
unsigned int Gecode::FlatZinc::FznRnd::operator() | ( | unsigned int | n | ) |
Returns a random integer from the interval [0..n)
Definition at line 323 of file flatzinc.cpp.
|
protected |
The actual random number generator.
Definition at line 357 of file flatzinc.hh.
|
protected |
A mutex for the random number generator.
Definition at line 359 of file flatzinc.hh.