base::MZRan13 Class Reference

#include <MZRan13.h>

List of all members.

Public Member Functions
	MZRan13 (uint32_t seed)
uint32_t	operator() ()
Private Attributes
uint32_t	x
uint32_t	y
uint32_t	z
uint32_t	n
uint32_t	c

---

Constructor & Destructor Documentation

base::MZRan13::MZRan13 (  uint32_t  seed  )  [inline]

---

Member Function Documentation

uint32_t base::MZRan13::operator() (   )  [inline]

---

Member Data Documentation

uint32_t base::MZRan13::c [private]

uint32_t base::MZRan13::n [private]

uint32_t base::MZRan13::x [private]

uint32_t base::MZRan13::y [private]

uint32_t base::MZRan13::z [private]

---

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

• /home/adavid/UPPAAL/trunk/server/modules/include/base/MZRan13.h

---