Open
Graph Drawing
Framework

 v. 2022.02 (Dogwood)
 

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: