cprover
|
#include <syntactic_diff.h>
Public Member Functions | |
syntactic_difft (const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, message_handlert &_message_handler) | |
virtual bool | operator() () |
![]() | |
goto_difft (const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, message_handlert &_message_handler) | |
void | set_ui (language_uit::uit _ui) |
virtual std::ostream & | output_functions (std::ostream &out) const |
Additional Inherited Members | |
![]() | |
typedef std::set< irep_idt > | irep_id_sett |
![]() | |
void | convert_function_group (json_arrayt &result, const irep_id_sett &function_group) const |
void | convert_function (json_objectt &result, const irep_idt &function_name) const |
![]() | |
const goto_modelt & | goto_model1 |
const goto_modelt & | goto_model2 |
language_uit::uit | ui |
unsigned | total_functions_count |
irep_id_sett | new_functions |
irep_id_sett | modified_functions |
irep_id_sett | deleted_functions |
Definition at line 17 of file syntactic_diff.h.
|
inlineexplicit |
Definition at line 20 of file syntactic_diff.h.
References operator()().
|
virtual |
Implements goto_difft.
Definition at line 14 of file syntactic_diff.cpp.
References goto_difft::deleted_functions, forall_goto_functions, goto_functions_templatet< bodyT >::function_map, goto_modelt::goto_functions, goto_difft::goto_model1, goto_difft::goto_model2, goto_difft::modified_functions, goto_difft::new_functions, and goto_difft::total_functions_count.
Referenced by syntactic_difft().