abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Minisat::Equal< 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::Equal< K >

Definition at line 33 of file Map.h.

Member Function Documentation

template<class K>
bool Minisat::Equal< K >::operator() ( const K &  k1,
const K &  k2 
) const
inline

Definition at line 33 of file Map.h.

33 { bool operator()(const K& k1, const K& k2) const { return k1 == k2; } };
bool operator()(const K &k1, const K &k2) const
Definition: Map.h:33

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