CBMC
unified_difft Member List

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

differences_map() constunified_difftprivate
differences_map_unified_difftprivate
differences_mapt typedefunified_difftprivate
differencest typedefunified_difftprivate
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_difftprivatestatic
goto_program_difft typedefunified_difft
instructions_equal(const goto_programt::instructiont &ins1, const goto_programt::instructiont &ins2)unified_difftprivatestatic
lcss(const goto_programt &old_goto_program, const goto_programt &new_goto_program)unified_difftprivatestatic
new_goto_functionsunified_difftprivate
ns_newunified_difftprivate
ns_oldunified_difftprivate
old_goto_functionsunified_difftprivate
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_difftprivate
unified_diff(const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program)unified_difftprivate
unified_difft(const goto_modelt &model_old, const goto_modelt &model_new)unified_difft