CBMC
|
This is the complete list of members for change_impactt, including all inherited members.
change_impact(const irep_idt &function_id) | change_impactt | protected |
change_impact(const irep_idt &function_id, const goto_programt &old_goto_program, const goto_programt &new_goto_program, const unified_difft::goto_program_difft &diff, goto_program_change_impactt &old_impact, goto_program_change_impactt &new_impact) | change_impactt | protected |
change_impactt(const goto_modelt &model_old, const goto_modelt &model_new, impact_modet impact_mode, bool compact_output, message_handlert &message_handler) | change_impactt | |
compact_output | change_impactt | protected |
DEL_CTRL_DEP enum value | change_impactt | protected |
DEL_DATA_DEP enum value | change_impactt | protected |
DELETED enum value | change_impactt | protected |
goto_functions_change_impactt typedef | change_impactt | protected |
goto_program_change_impactt typedef | change_impactt | protected |
impact_mode | change_impactt | protected |
mod_flagt enum name | change_impactt | protected |
NEW enum value | change_impactt | protected |
new_change_impact | change_impactt | protected |
NEW_CTRL_DEP enum value | change_impactt | protected |
NEW_DATA_DEP enum value | change_impactt | protected |
new_dep_graph | change_impactt | protected |
new_goto_functions | change_impactt | protected |
ns_new | change_impactt | protected |
ns_old | change_impactt | protected |
old_change_impact | change_impactt | protected |
old_dep_graph | change_impactt | protected |
old_goto_functions | change_impactt | protected |
operator()() | change_impactt | |
output_change_impact(const irep_idt &function_id, const goto_program_change_impactt &c_i, const goto_functionst &goto_functions, const namespacet &ns) const | change_impactt | protected |
output_change_impact(const irep_idt &function_id, const goto_program_change_impactt &o_c_i, const goto_functionst &o_goto_functions, const namespacet &o_ns, const goto_program_change_impactt &n_c_i, const goto_functionst &n_goto_functions, const namespacet &n_ns) const | change_impactt | protected |
output_instruction(char prefix, const goto_programt &goto_program, const namespacet &ns, goto_programt::const_targett &target) const | change_impactt | protected |
propogate_dep_back(const irep_idt &function_id, const dependence_grapht::nodet &d_node, const dependence_grapht &dep_graph, goto_functions_change_impactt &change_impact, bool del) | change_impactt | protected |
propogate_dep_forward(const irep_idt &function_id, const dependence_grapht::nodet &d_node, const dependence_grapht &dep_graph, goto_functions_change_impactt &change_impact, bool del) | change_impactt | protected |
SAME enum value | change_impactt | protected |
unified_diff | change_impactt | protected |