random.h File Reference

Random numbers. More...

#include <assert.h>
#include <stdint.h>
#include <algorithm>

Go to the source code of this file.

Classes
class	Random
	Random numbers.Class Random provides random Real variables, i.e. a value variable that gives another value each time it is accessed. It may be used just like an ordinary Real by means of an overloaded cast operator Real()%. More...

Namespaces
	soplex
	Everything should be within this namespace.

Macros
#define	DEFAULT_LIN   UINT32_C(123456789)
#define	DEFAULT_XOR   UINT32_C(362436000)
#define	DEFAULT_MWC   UINT32_C(521288629)
#define	DEFAULT_CST   UINT32_C(7654321)
#define	RSTEP   UINT64_C(1103515245)
#define	RADD   UINT64_C(12345)

Detailed Description

Random numbers.

Definition in file random.h.

Macro Definition Documentation

DEFAULT_CST

#define DEFAULT_CST   UINT32_C(7654321)

Definition at line 33 of file random.h.

Referenced by Random::setSeed().

DEFAULT_LIN

#define DEFAULT_LIN   UINT32_C(123456789)

Definition at line 30 of file random.h.

Referenced by Random::setSeed().

DEFAULT_MWC

#define DEFAULT_MWC   UINT32_C(521288629)

Definition at line 32 of file random.h.

Referenced by Random::setSeed().

DEFAULT_XOR

#define DEFAULT_XOR   UINT32_C(362436000)

Definition at line 31 of file random.h.

Referenced by Random::setSeed().

RADD

#define RADD   UINT64_C(12345)

Definition at line 37 of file random.h.

Referenced by Random::next_random().

RSTEP

#define RSTEP   UINT64_C(1103515245)

Definition at line 36 of file random.h.

Referenced by Random::next_random().