renaming::level2t::name_record Class Reference

#include <renaming.h>

Public Member Functions
	name_record ()
	name_record (const symbol2t &sym)
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
symbol2t::renaming_level	lev = symbol2t::renaming_level::level0
unsigned int	l1_num = 0
unsigned int	t_num = 0
size_t	hash = 0

Constructor & Destructor Documentation

name_record() [1/2]

renaming::level2t::name_record::name_record ( )

inline

name_record() [2/2]

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

inline

Member Function Documentation

compare()

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

inline

operator<()

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

inline

operator==()

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

inline

Member Data Documentation

base_name

irep_idt renaming::level2t::name_record::base_name

hash

size_t renaming::level2t::name_record::hash = 0

l1_num

unsigned int renaming::level2t::name_record::l1_num = 0

lev

symbol2t::renaming_level renaming::level2t::name_record::lev = symbol2t::renaming_level::level0

t_num

unsigned int renaming::level2t::name_record::t_num = 0

---

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

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