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 374 of file SolverTypes.h.

Member Function Documentation

operator()()

template<class T >

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

inline

Definition at line 375 of file SolverTypes.h.

---

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

• smtrat-modules/SATModule/SolverTypes.h