rw_sett::entryt Struct Reference

#include <rw_set.h>

Public Member Functions
	entryt ()
const guard2tc &	get_guard () const
std::string	get_comment () const

Public Attributes
irep_idt	object
bool	r
bool	w
bool	deref
guard2tc	guard
expr2tc	original_expr

Constructor & Destructor Documentation

entryt()

rw_sett::entryt::entryt ( )

inline

Member Function Documentation

get_comment()

std::string rw_sett::entryt::get_comment ( ) const

inline

get_guard()

const guard2tc & rw_sett::entryt::get_guard ( ) const

inline

Member Data Documentation

deref

bool rw_sett::entryt::deref

guard

guard2tc rw_sett::entryt::guard

object

irep_idt rw_sett::entryt::object

original_expr

expr2tc rw_sett::entryt::original_expr

r

bool rw_sett::entryt::r

w

bool rw_sett::entryt::w

---

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

• src/goto-programs/rw_set.h