abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
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 }