abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
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 319 of file SolverTypes.h.

Member Function Documentation

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

Definition at line 320 of file SolverTypes.h.

320 { return (uint32_t)cr; } };

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