local_may_alias_factoryt Class Reference

#include <local_may_alias.h>

Collaboration diagram for local_may_alias_factoryt:

Public Member Functions
	local_may_alias_factoryt ()
void	operator() (const goto_functionst &_goto_functions)
local_may_aliast &	operator() (const irep_idt &fkt)
local_may_aliast &	operator() (goto_programt::const_targett t)
std::set< exprt >	get (const goto_programt::const_targett t, const exprt &src) const

Protected Types
typedef std::map< irep_idt, std::unique_ptr< local_may_aliast > >	fkt_mapt
typedef std::map< goto_programt::const_targett, irep_idt >	target_mapt

Protected Attributes
const goto_functionst *	goto_functions
fkt_mapt	fkt_map
target_mapt	target_map

Detailed Description

Definition at line 95 of file local_may_alias.h.

Member Typedef Documentation

fkt_mapt

typedef std::map<irep_idt, std::unique_ptr<local_may_aliast> > local_may_alias_factoryt::fkt_mapt

protected

Definition at line 140 of file local_may_alias.h.

target_mapt

typedef std::map<goto_programt::const_targett, irep_idt > local_may_alias_factoryt::target_mapt

protected

Definition at line 143 of file local_may_alias.h.

Constructor & Destructor Documentation

local_may_alias_factoryt()

local_may_alias_factoryt::local_may_alias_factoryt ( )

inline

Definition at line 98 of file local_may_alias.h.

Member Function Documentation

get()

std::set<exprt> local_may_alias_factoryt::get	(	const goto_programt::const_targett	t,
		const exprt &	src
	)		const

operator()() [1/3]

void local_may_alias_factoryt::operator() ( const goto_functionst &  _goto_functions )

inline

Definition at line 102 of file local_may_alias.h.

operator()() [2/3]

local_may_aliast& local_may_alias_factoryt::operator() ( const irep_idt &  fkt )

inline

Definition at line 113 of file local_may_alias.h.

operator()() [3/3]

local_may_aliast& local_may_alias_factoryt::operator() ( goto_programt::const_targett  t )

inline

Definition at line 126 of file local_may_alias.h.

Member Data Documentation

fkt_map

fkt_mapt local_may_alias_factoryt::fkt_map

protected

Definition at line 141 of file local_may_alias.h.

goto_functions

const goto_functionst* local_may_alias_factoryt::goto_functions

protected

Definition at line 139 of file local_may_alias.h.

target_map

target_mapt local_may_alias_factoryt::target_map

protected

Definition at line 144 of file local_may_alias.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/local_may_alias.h