12 #ifndef CPROVER_GOTO_DIFF_GOTO_DIFF_H 13 #define CPROVER_GOTO_DIFF_GOTO_DIFF_H 55 const irep_id_sett &function_group)
const;
58 const irep_idt &function_name)
const;
61 #endif // CPROVER_GOTO_DIFF_GOTO_DIFF_H virtual std::ostream & output_functions(std::ostream &out) const
const goto_modelt & goto_model1
const goto_modelt & goto_model2
void convert_function(json_objectt &result, const irep_idt &function_name) const
void set_ui(language_uit::uit _ui)
unsigned total_functions_count
irep_id_sett modified_functions
goto_difft(const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, message_handlert &_message_handler)
void convert_function_group(json_arrayt &result, const irep_id_sett &function_group) const
std::set< irep_idt > irep_id_sett
virtual bool operator()()=0
irep_id_sett new_functions
irep_id_sett deleted_functions