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 35 of file Map.h.

Member Function Documentation

operator()()

template<class K>

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

inline

Definition at line 35 of file Map.h.

{ bool     operator()(const K& k1, const K& k2) const { return k1 == k2; } };

Here is the call graph for this function:

Here is the caller graph for this function:

---

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

• src/sat/bsat2/Map.h