CBMC
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_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_idt, goto_programt::target_less_thantarget_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 139 of file local_may_alias.h.

◆ target_mapt

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.

◆ operator()() [2/3]

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

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

Member Data Documentation

◆ fkt_map

fkt_mapt local_may_alias_factoryt::fkt_map
protected

Definition at line 140 of file local_may_alias.h.

◆ goto_functions

const goto_functionst* local_may_alias_factoryt::goto_functions
protected

Definition at line 138 of file local_may_alias.h.

◆ target_map

target_mapt local_may_alias_factoryt::target_map
protected

Definition at line 145 of file local_may_alias.h.


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