renaming::level1t::name_record Class Reference

#include <renaming.h>

Public Member Functions
	name_record ()
	name_record (const symbol2t &sym)
	name_record (const irep_idt &name)
int	compare (const name_record &ref) const
bool	operator< (const name_record &ref) const
bool	operator== (const name_record &ref) const

Public Attributes
irep_idt	base_name

Friends
struct	renaming::level1t::name_rec_hash

Constructor & Destructor Documentation

name_record() [1/3]

renaming::level1t::name_record::name_record ( )

inline

name_record() [2/3]

renaming::level1t::name_record::name_record ( const symbol2t & sym )

inline

name_record() [3/3]

renaming::level1t::name_record::name_record ( const irep_idt & name )

inline

Member Function Documentation

compare()

int renaming::level1t::name_record::compare ( const name_record & ref ) const

inline

operator<()

bool renaming::level1t::name_record::operator< ( const name_record & ref ) const

inline

operator==()

bool renaming::level1t::name_record::operator== ( const name_record & ref ) const

inline

Friends And Related Symbol Documentation

renaming::level1t::name_rec_hash

friend struct renaming::level1t::name_rec_hash

friend

Member Data Documentation

base_name

irep_idt renaming::level1t::name_record::base_name

---

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

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