cprover
const_target_hash_templatet< codeT, guardT > Struct Template Reference

#include <goto_program_template.h>

Public Member Functions

std::size_t operator() (const typename goto_program_templatet< codeT, guardT >::const_targett t) const
 

Detailed Description

template<class codeT, class guardT>
struct const_target_hash_templatet< codeT, guardT >

Definition at line 788 of file goto_program_template.h.

Member Function Documentation

§ operator()()

template<class codeT , class guardT >
std::size_t const_target_hash_templatet< codeT, guardT >::operator() ( const typename goto_program_templatet< codeT, guardT >::const_targett  t) const
inline

Definition at line 790 of file goto_program_template.h.


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