Map.h File Reference

#include "IntTypes.h"
#include "Vec.h"

Go to the source code of this file.

Data Structures
struct	Minisat::Hash< K >
struct	Minisat::Equal< K >
struct	Minisat::DeepHash< K >
struct	Minisat::DeepEqual< K >
class	Minisat::Map< K, D, H, E >
struct	Minisat::Map< K, D, H, E >::Pair

Namespaces
	Minisat

Functions
static uint32_t	Minisat::hash (uint32_t x)
static uint32_t	Minisat::hash (uint64_t x)
static uint32_t	Minisat::hash (int32_t x)
static uint32_t	Minisat::hash (int64_t x)

Variables
static const int	Minisat::nprimes = 25
static const int	Minisat::primes [nprimes] = { 31, 73, 151, 313, 643, 1291, 2593, 5233, 10501, 21013, 42073, 84181, 168451, 337219, 674701, 1349473, 2699299, 5398891, 10798093, 21596719, 43193641, 86387383, 172775299, 345550609, 691101253 }