cprover
local_may_alias_factoryt Class Reference

#include <local_may_alias.h>

Collaboration diagram for local_may_alias_factoryt:
[legend]

Public Member Functions

 local_may_alias_factoryt ()
 
void operator() (const goto_functionst &_goto_functions)
 
local_may_aliastoperator() (const irep_idt &fkt)
 
local_may_aliastoperator() (goto_programt::const_targett t)
 
std::set< exprtget (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_idttarget_mapt
 

Protected Attributes

const goto_functionstgoto_functions
 
fkt_mapt fkt_map
 
target_mapt target_map
 

Detailed Description

Definition at line 94 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 138 of file local_may_alias.h.

§ target_mapt

Definition at line 141 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 97 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 101 of file local_may_alias.h.

References forall_goto_functions, and forall_goto_program_instructions.

§ operator()() [2/3]

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

Definition at line 110 of file local_may_alias.h.

References local_may_aliast::local_may_aliast(), and PRECONDITION.

§ operator()() [3/3]

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

Definition at line 124 of file local_may_alias.h.

Member Data Documentation

§ fkt_map

fkt_mapt local_may_alias_factoryt::fkt_map
protected

Definition at line 139 of file local_may_alias.h.

§ goto_functions

const goto_functionst* local_may_alias_factoryt::goto_functions
protected

Definition at line 137 of file local_may_alias.h.

§ target_map

target_mapt local_may_alias_factoryt::target_map
protected

Definition at line 142 of file local_may_alias.h.


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