graphml_witnesst::pair_hash< S, T > Struct Template Reference

#include <graphml_witness.h>

Public Member Functions
std::size_t	operator() (const std::pair< S, T > &v) const

Detailed Description

template<typename S, typename T>
struct graphml_witnesst::pair_hash< S, T >

Definition at line 56 of file graphml_witness.h.

Member Function Documentation

operator()()

template<typename S , typename T >

std::size_t graphml_witnesst::pair_hash< S, T >::operator() ( const std::pair< S, T > &  v ) const

inline

Definition at line 58 of file graphml_witness.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-programs/graphml_witness.h