rw_sett Class Reference

#include <rw_set.h>

Classes
struct	entryt

Public Types
typedef std::unordered_map< irep_idt, entryt, irep_id_hash >	entriest
typedef std::unordered_set< irep_idt, irep_id_hash >	shared_localst

Public Member Functions
void	compute (const expr2tc &expr)
	rw_sett (const namespacet &_ns, goto_programt::const_targett _target, const shared_localst *_shared_locals=nullptr)
	rw_sett (const namespacet &_ns, goto_programt::const_targett _target, const expr2tc &expr, const shared_localst *_shared_locals=nullptr)
void	read_rec (const expr2tc &expr)
void	read_rec (const expr2tc &expr, const guard2tc &guard, const expr2tc &original_expr)

Public Attributes
entriest	entries

Protected Member Functions
void	assign (const expr2tc &lhs, const expr2tc &rhs)
void	read_write_rec (const expr2tc &expr, bool r, bool w, const std::string &suffix, const guard2tc &guard, const expr2tc &original_expr, bool dereferenced=false)

Protected Attributes
const namespacet &	ns
const goto_programt::const_targett	target
const shared_localst *	shared_locals

Member Typedef Documentation

entriest

typedef std::unordered_map<irep_idt, entryt, irep_id_hash> rw_sett::entriest

shared_localst

typedef std::unordered_set<irep_idt, irep_id_hash> rw_sett::shared_localst

Constructor & Destructor Documentation

rw_sett() [1/2]

rw_sett::rw_sett ( const namespacet & _ns, goto_programt::const_targett _target, const shared_localst * _shared_locals = nullptr )

inline

rw_sett() [2/2]

rw_sett::rw_sett ( const namespacet & _ns, goto_programt::const_targett _target, const expr2tc & expr, const shared_localst * _shared_locals = nullptr )

inline

Member Function Documentation

assign()

void rw_sett::assign ( const expr2tc & lhs, const expr2tc & rhs )

protected

compute()

void rw_sett::compute

(

const expr2tc &

expr

)

read_rec() [1/2]

void rw_sett::read_rec ( const expr2tc & expr )

inline

read_rec() [2/2]

void rw_sett::read_rec ( const expr2tc & expr, const guard2tc & guard, const expr2tc & original_expr )

inline

read_write_rec()

void rw_sett::read_write_rec ( const expr2tc & expr, bool r, bool w, const std::string & suffix, const guard2tc & guard, const expr2tc & original_expr, bool dereferenced = false )

protected

Member Data Documentation

entries

entriest rw_sett::entries

ns

const namespacet& rw_sett::ns

protected

shared_locals

const shared_localst* rw_sett::shared_locals

protected

target

const goto_programt::const_targett rw_sett::target

protected

---

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

• src/goto-programs/rw_set.h
• src/goto-programs/rw_set.cpp