abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
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; } };
bool operator()(const K *k1, const K *k2) const
Definition: Map.h:36

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