SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
Minisat::Map< K, D, H, E >::Pair Struct Reference

#include <Map.h>

Data Fields

K key
 
D data
 

Detailed Description

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

Definition at line 59 of file Map.h.

Field Documentation

◆ data

template<class K , class D , class H = Hash<K>, class E = Equal<K>>
D Minisat::Map< K, D, H, E >::Pair::data

Definition at line 59 of file Map.h.

◆ key

template<class K , class D , class H = Hash<K>, class E = Equal<K>>
K Minisat::Map< K, D, H, E >::Pair::key

Definition at line 59 of file Map.h.

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