Map.h File Reference

#include <ogdf/lib/minisat/mtl/IntTypes.h>
#include <ogdf/lib/minisat/mtl/Vec.h>

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
namespace	Minisat
namespace	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 }