cprover
unified_difft Member List

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

differences_map() constunified_difft
differences_map_unified_difftprivate
differences_mapt typedefunified_difft
differencest typedefunified_difft
differencet enum nameunified_difft
get_diff(const irep_idt &function) constunified_difft
get_diff(const goto_programt &old_goto_program, const goto_programt &new_goto_program, const differencest &differences)unified_difftstatic
goto_program_difft typedefunified_difft
instructions_equal(const goto_programt::instructiont &ins1, const goto_programt::instructiont &ins2)unified_difftstatic
lcss(const goto_programt &old_goto_program, const goto_programt &new_goto_program)unified_difftstatic
new_goto_functionsunified_difft
ns_newunified_difft
ns_oldunified_difft
old_goto_functionsunified_difft
operator()()unified_difft
output(std::ostream &os) constunified_difft
output_diff(const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program, const differencest &differences, std::ostream &os) constunified_difft
unified_diff(const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program)unified_difft
unified_difft(const goto_modelt &model_old, const goto_modelt &model_new)unified_difft