Rnd.h File Reference

#include "Vec.h"

Include dependency graph for Rnd.h:

Go to the source code of this file.

Namespaces
	Minisat

Functions
static double	Minisat::drand (double &seed)
static int	Minisat::irand (double &seed, int size)
template<class T >
static void	Minisat::randomShuffle (double &seed, vec< T > &xs)
template<class T >
static void	Minisat::randomShuffle (double &seed, vec< vec< T > > &xs)