Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

Map.h File Reference

Go to the source code of this file.

Classes

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

Namespaces

 Minisat
 
 Minisat::Internal
 

Functions

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

Variables

static const int Minisat::Internal::nprimes = 25
 
static const int Minisat::Internal::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 }