Minisat::Internal::CMap< T >::CRefHash Struct Reference

Public Member Functions
uint32_t	operator() (CRef cr) const

Detailed Description

template<class T>
struct Minisat::Internal::CMap< T >::CRefHash

Definition at line 338 of file SolverTypes.h.

Member Function Documentation

operator()()

template<class T >

uint32_t Minisat::Internal::CMap< T >::CRefHash::operator() ( CRef  cr ) const

inline

Definition at line 339 of file SolverTypes.h.

---

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

• include/ogdf/lib/minisat/core/SolverTypes.h