Map< K, D, H, E > Class Template Reference

List of all members.

Classes
struct	Pair
Public Member Functions
	Map (const H &h, const E &e)
void	insert (const K &k, const D &d)
bool	peek (const K &k, D &d)
void	remove (const K &k)
void	clear ()

template<class K, class D, class H = Hash<K>, class E = Equal<K>>
class Map< K, D, H, E >

---

The documentation for this class was generated from the following file:

• sat-solver/Map.h