renaming::level2t::valuet Struct Reference

#include <renaming.h>

Public Member Functions
	valuet ()
bool	operator== (const valuet &v) const
bool	operator!= (const valuet &v) const

Public Attributes
unsigned	count
expr2tc	constant
unsigned	node_id

Constructor & Destructor Documentation

valuet()

renaming::level2t::valuet::valuet ( )

inline

Member Function Documentation

operator!=()

bool renaming::level2t::valuet::operator!= ( const valuet & v ) const

inline

operator==()

bool renaming::level2t::valuet::operator== ( const valuet & v ) const

inline

Member Data Documentation

constant

expr2tc renaming::level2t::valuet::constant

count

unsigned renaming::level2t::valuet::count

node_id

unsigned renaming::level2t::valuet::node_id

---

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

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