renaming::level1t::name_rec_hash Struct Reference

#include <renaming.h>

Public Member Functions
size_t	operator() (const name_record &ref) const
bool	operator() (const name_record &ref, const name_record &ref2) const

Member Function Documentation

operator()() [1/2]

size_t renaming::level1t::name_rec_hash::operator() ( const name_record & ref ) const

inline

operator()() [2/2]

bool renaming::level1t::name_rec_hash::operator() ( const name_record & ref, const name_record & ref2 ) const

inline

---

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

• src/goto-symex/state/renaming.h