CBMC
change_impactt Member List

This is the complete list of members for change_impactt, including all inherited members.

change_impact(const irep_idt &function_id)change_impacttprotected
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_impacttprotected
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_outputchange_impacttprotected
DEL_CTRL_DEP enum valuechange_impacttprotected
DEL_DATA_DEP enum valuechange_impacttprotected
DELETED enum valuechange_impacttprotected
goto_functions_change_impactt typedefchange_impacttprotected
goto_program_change_impactt typedefchange_impacttprotected
impact_modechange_impacttprotected
mod_flagt enum namechange_impacttprotected
NEW enum valuechange_impacttprotected
new_change_impactchange_impacttprotected
NEW_CTRL_DEP enum valuechange_impacttprotected
NEW_DATA_DEP enum valuechange_impacttprotected
new_dep_graphchange_impacttprotected
new_goto_functionschange_impacttprotected
ns_newchange_impacttprotected
ns_oldchange_impacttprotected
old_change_impactchange_impacttprotected
old_dep_graphchange_impacttprotected
old_goto_functionschange_impacttprotected
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) constchange_impacttprotected
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) constchange_impacttprotected
output_instruction(char prefix, const goto_programt &goto_program, const namespacet &ns, goto_programt::const_targett &target) constchange_impacttprotected
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_impacttprotected
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_impacttprotected
SAME enum valuechange_impacttprotected
unified_diffchange_impacttprotected