cprover
unified_difft Member List

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

differences_mapunified_difftprotected
differences_mapt typedefunified_difftprotected
differencest typedefunified_difftprotected
differencet enum nameunified_difft
get_diff(const irep_idt &function, goto_program_difft &dest) constunified_difft
get_diff(const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program, const differencest &differences, goto_program_difft &dest) constunified_difftprotected
goto_program_difft typedefunified_difft
instructions_equal(const goto_programt::instructiont &ins1, const goto_programt::instructiont &ins2, bool recurse=true) constunified_difftinlineprotected
lcss(const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program, differencest &differences) constunified_difftprotected
new_goto_functionsunified_difftprotected
ns_newunified_difftprotected
ns_oldunified_difftprotected
old_goto_functionsunified_difftprotected
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_difftprotected
unified_diff(const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program)unified_difftprotected
unified_difft(const goto_modelt &model_old, const goto_modelt &model_new)unified_difft