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

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

Detailed Description

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

Definition at line 390 of file SolverTypes.h.

Member Function Documentation

template<class T >

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

inline

Definition at line 391 of file SolverTypes.h.

{ return (uint32_t)cr; } };

---

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

• SolverTypes.h