CBMC
|
#include <local_may_alias.h>
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, goto_programt::target_less_than > | target_mapt |
Protected Attributes | |
const goto_functionst * | goto_functions |
fkt_mapt | fkt_map |
target_mapt | target_map |
Definition at line 94 of file local_may_alias.h.
|
protected |
Definition at line 139 of file local_may_alias.h.
|
protected |
Definition at line 144 of file local_may_alias.h.
|
inline |
Definition at line 97 of file local_may_alias.h.
std::set<exprt> local_may_alias_factoryt::get | ( | const goto_programt::const_targett | t, |
const exprt & | src | ||
) | const |
|
inline |
Definition at line 101 of file local_may_alias.h.
|
inline |
Definition at line 112 of file local_may_alias.h.
|
inline |
Definition at line 125 of file local_may_alias.h.
|
protected |
Definition at line 140 of file local_may_alias.h.
|
protected |
Definition at line 138 of file local_may_alias.h.
|
protected |
Definition at line 145 of file local_may_alias.h.