cprover
|
#include <function_modifies.h>
Public Types | |
typedef std::set< exprt > | modifiest |
Public Member Functions | |
function_modifiest (const goto_functionst &_goto_functions) | |
void | get_modifies (const local_may_aliast &local_may_alias, const goto_programt::const_targett, modifiest &) |
void | get_modifies_function (const exprt &, modifiest &) |
void | operator() (const exprt &function, modifiest &modifies) |
Protected Types | |
typedef std::map< irep_idt, modifiest > | function_mapt |
Protected Attributes | |
const goto_functionst & | goto_functions |
function_mapt | function_map |
Definition at line 18 of file function_modifies.h.
|
protected |
Definition at line 45 of file function_modifies.h.
typedef std::set<exprt> function_modifiest::modifiest |
Definition at line 26 of file function_modifies.h.
|
inlineexplicit |
Definition at line 21 of file function_modifies.h.
void function_modifiest::get_modifies | ( | const local_may_aliast & | local_may_alias, |
const goto_programt::const_targett | i_it, | ||
modifiest & | modifies | ||
) |
Definition at line 18 of file function_modifies.cpp.
Definition at line 45 of file function_modifies.cpp.
Definition at line 37 of file function_modifies.h.
|
protected |
Definition at line 46 of file function_modifies.h.
|
protected |
Definition at line 43 of file function_modifies.h.