hash_table.h File Reference

hash table implementation More...

#include <vector>
#include <string>
#include <functional>
#include <algorithm>
#include "hash_fun.h"

Include dependency graph for hash_table.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

• namespace CVC3
• namespace Hash

Classes

• class Hash::hash_table< _Key, _Value, _HashFcn, _EqualKey, _ExtractKey >
• struct Hash::hash_table< _Key, _Value, _HashFcn, _EqualKey, _ExtractKey >::BucketNode
• class Hash::hash_table< _Key, _Value, _HashFcn, _EqualKey, _ExtractKey >::iterator

  inner classes More...
  

• class Hash::hash_table< _Key, _Value, _HashFcn, _EqualKey, _ExtractKey >::const_iterator

Defines

• #define DebugAssert(cond, str)

Typedefs

• typedef size_t Hash::size_type

Functions

• void CVC3::debugError (const std::string &file, int line, const std::string &cond, const std::string &msg)

  Similar to fatalError to raise an exception when DebugAssert fires.
  

• size_type Hash::next_prime (size_type n)

Variables

• const size_type Hash::num_primes = 28

  primes for increasing the hash table size
  

• static const size_type Hash::prime_list [num_primes]

---

Detailed Description

hash table implementation

Author: Alexander Fuchs

Created: Thu Oct 19 11:04:00 2006

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file hash_table.h.

---

Define Documentation

#define DebugAssert	(	cond,
		str		)

Value:

if(!(cond)) \
 CVC3::debugError(__FILE__, __LINE__, #cond, str)

Definition at line 62 of file hash_table.h.

---