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

differences_map	unified_difft	protected
differences_mapt typedef	unified_difft	protected
differencest typedef	unified_difft	protected
differencet enum name	unified_difft
get_diff(const irep_idt &function, goto_program_difft &dest) const	unified_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) const	unified_difft	protected
goto_program_difft typedef	unified_difft
instructions_equal(const goto_programt::instructiont &ins1, const goto_programt::instructiont &ins2, bool recurse=true) const	unified_difft	inlineprotected
lcss(const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program, differencest &differences) const	unified_difft	protected
new_goto_functions	unified_difft	protected
ns_new	unified_difft	protected
ns_old	unified_difft	protected
old_goto_functions	unified_difft	protected
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	protected
unified_diff(const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program)	unified_difft	protected
unified_difft(const goto_modelt &model_old, const goto_modelt &model_new)	unified_difft