CBMC
|
This is the complete list of members for unified_difft, including all inherited members.
differences_map() const | unified_difft | private |
differences_map_ | unified_difft | private |
differences_mapt typedef | unified_difft | private |
differencest typedef | unified_difft | private |
differencet enum name | unified_difft | |
get_diff(const irep_idt &function) const | unified_difft | |
get_diff(const goto_programt &old_goto_program, const goto_programt &new_goto_program, const differencest &differences) | unified_difft | privatestatic |
goto_program_difft typedef | unified_difft | |
instructions_equal(const goto_programt::instructiont &ins1, const goto_programt::instructiont &ins2) | unified_difft | privatestatic |
lcss(const goto_programt &old_goto_program, const goto_programt &new_goto_program) | unified_difft | privatestatic |
new_goto_functions | unified_difft | private |
ns_new | unified_difft | private |
ns_old | unified_difft | private |
old_goto_functions | unified_difft | private |
operator()() | unified_difft | |
output(std::ostream &os) const | unified_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) const | unified_difft | private |
unified_diff(const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program) | unified_difft | private |
unified_difft(const goto_modelt &model_old, const goto_modelt &model_new) | unified_difft |