14 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_FUNCTIONS_H 15 #define CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_FUNCTIONS_H 65 #endif // CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_FUNCTIONS_H
goto_functionst & functions
goto_function_templatet< goto_programt > goto_functiont
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
static bool hide(const goto_programt &goto_program)
void goto_convert(symbol_tablet &symbol_table, goto_functionst &functions, message_handlert &message_handler)
goto_convert_functionst(symbol_tablet &_symbol_table, goto_functionst &_functions, message_handlert &_message_handler)
virtual ~goto_convert_functionst()
void add_return(goto_functionst::goto_functiont &, const source_locationt &)
void convert_function(const irep_idt &identifier)