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::DeepEqual< K > Struct Template Reference
#include <
Map.h
>
Public Member Functions
bool
operator()
(
const
K *k1,
const
K *k2)
const
Detailed Description
template<class K>
struct Minisat::DeepEqual< K >
Definition at line
36
of file
Map.h
.
Member Function Documentation
template<class K >
bool
Minisat::DeepEqual
< K >::operator()
(
const
K *
k1
,
const
K *
k2
)
const
inline
Definition at line
36
of file
Map.h
.
36
{
bool
operator()
(
const
K* k1,
const
K* k2)
const
{
return
*k1 == *k2; } };
Minisat::DeepEqual::operator()
bool operator()(const K *k1, const K *k2) const
Definition:
Map.h:36
The documentation for this struct was generated from the following file:
Map.h
Minisat
DeepEqual
Generated on Thu Dec 18 2014 16:12:24 for abc-master by
1.8.6