cprover
|
Public Member Functions | |
change_impactt (const goto_modelt &model_old, const goto_modelt &model_new, impact_modet impact_mode, bool compact_output) | |
void | operator() () |
Protected Types | |
enum | mod_flagt { SAME =0 , NEW =1<<0 , DELETED =1<<1 , NEW_DATA_DEP =1<<2 , DEL_DATA_DEP =1<<3 , NEW_CTRL_DEP =1<<4 , DEL_CTRL_DEP =1<<5 } |
typedef std::map< goto_programt::const_targett, unsigned > | goto_program_change_impactt |
typedef std::map< irep_idt, goto_program_change_impactt > | goto_functions_change_impactt |
Definition at line 203 of file change_impact.cpp.
|
protected |
Definition at line 242 of file change_impact.cpp.
|
protected |
Definition at line 240 of file change_impact.cpp.
|
protected |
Enumerator | |
---|---|
SAME | |
NEW | |
DELETED | |
NEW_DATA_DEP | |
DEL_DATA_DEP | |
NEW_CTRL_DEP | |
DEL_CTRL_DEP |
Definition at line 228 of file change_impact.cpp.
change_impactt::change_impactt | ( | const goto_modelt & | model_old, |
const goto_modelt & | model_new, | ||
impact_modet | impact_mode, | ||
bool | compact_output | ||
) |
Definition at line 291 of file change_impact.cpp.
Definition at line 317 of file change_impact.cpp.
|
protected |
Definition at line 349 of file change_impact.cpp.
void change_impactt::operator() | ( | ) |
Definition at line 490 of file change_impact.cpp.
|
protected |
Definition at line 568 of file change_impact.cpp.
|
protected |
Definition at line 613 of file change_impact.cpp.
|
protected |
Definition at line 731 of file change_impact.cpp.
|
protected |
Definition at line 454 of file change_impact.cpp.
|
protected |
Definition at line 421 of file change_impact.cpp.
|
protected |
Definition at line 216 of file change_impact.cpp.
|
protected |
Definition at line 215 of file change_impact.cpp.
|
protected |
Definition at line 244 of file change_impact.cpp.
|
protected |
Definition at line 226 of file change_impact.cpp.
|
protected |
Definition at line 220 of file change_impact.cpp.
|
protected |
Definition at line 221 of file change_impact.cpp.
|
protected |
Definition at line 219 of file change_impact.cpp.
|
protected |
Definition at line 244 of file change_impact.cpp.
|
protected |
Definition at line 225 of file change_impact.cpp.
|
protected |
Definition at line 218 of file change_impact.cpp.
|
protected |
Definition at line 223 of file change_impact.cpp.