Gluco::Map< K, D, H, E >::Pair Struct Reference

#include <Map.h>

Public Attributes
K	key
D	data

Detailed Description

template<class K, class D, class H = Hash<K>, class E = Equal<K>>
struct Gluco::Map< K, D, H, E >::Pair

Definition at line 60 of file Map.h.

Member Data Documentation

data

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

D Gluco::Map< K, D, H, E >::Pair::data

Definition at line 60 of file Map.h.

key

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

K Gluco::Map< K, D, H, E >::Pair::key

Definition at line 60 of file Map.h.

---

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

• src/sat/glucose/Map.h