/home/elb/work/cs590n/mace/mace/lib/RandomUtil.h File Reference

---

Detailed Description

defines the RandomUtil random utility

Definition in file RandomUtil.h.

#include <stdarg.h>
#include <vector>

Include dependency graph for RandomUtil.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	RandomUtil
	Implements a standard utility for getting random integer values, which can be replaced at runtime with a simulator/modelchecker version. More...