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

Member Function Documentation

operator()()

template<class K>

bool Minisat::DeepEqual< K >::operator() ( const K * k1, const K * k2 ) const

inline

Definition at line 38 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