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

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:

• smtrat-modules/SATModule/Map.h