abc-master
Main Page
Namespaces
Data Structures
Files
Data Structures
Data Structure Index
Class Hierarchy
Data Fields
All
Data Structures
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Public Member Functions
Minisat::DeepHash< K > Struct Template Reference
#include <
Map.h
>
Public Member Functions
uint32_t
operator()
(
const
K *k)
const
Detailed Description
template<class K>
struct Minisat::DeepHash< K >
Definition at line
35
of file
Map.h
.
Member Function Documentation
template<class K >
uint32_t
Minisat::DeepHash
< K >::operator()
(
const
K *
k
)
const
inline
Definition at line
35
of file
Map.h
.
35
{ uint32_t
operator()
(
const
K* k)
const
{
return
hash
(*k); } };
Minisat::hash
static uint32_t hash(uint32_t x)
Definition:
Map.h:38
Minisat::DeepHash::operator()
uint32_t operator()(const K *k) const
Definition:
Map.h:35
The documentation for this struct was generated from the following file:
Map.h
Minisat
DeepHash
Generated on Thu Dec 18 2014 16:12:24 for abc-master by
1.8.6