14 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_FUNCTIONS_H 15 #define CPROVER_GOTO_PROGRAMS_GOTO_FUNCTIONS_H 75 std::ostream &out)
const;
89 func.second.update_instructions_function(func.first);
120 #define Forall_goto_functions(it, functions) \ 121 for(goto_functionst::function_mapt::iterator \ 122 it=(functions).function_map.begin(); \ 123 it!=(functions).function_map.end(); it++) 125 #define forall_goto_functions(it, functions) \ 126 for(goto_functionst::function_mapt::const_iterator \ 127 it=(functions).function_map.begin(); \ 128 it!=(functions).function_map.end(); it++) 130 #endif // CPROVER_GOTO_PROGRAMS_GOTO_FUNCTIONS_H goto_functionst(goto_functionst &&other)
void copy_from(const goto_functionst &other)
void compute_loop_numbers()
void compute_target_numbers()
unsigned unused_location_number
A location number such that numbers in the interval [unused_location_number, MAX_UINT] are all unused...
function_mapt function_map
goto_functionst & operator=(goto_functionst &&other)
void compute_location_numbers()
void update_instructions_function()
update the function member in each instruction by setting it to the goto function's identifier ...
void swap(goto_functionst &other)
void output(const namespacet &ns, std::ostream &out) const
::goto_functiont goto_functiont
std::map< irep_idt, goto_functiont > function_mapt
A generic container class for the GOTO intermediate representation of one function.
static irep_idt entry_point()
void unload(const irep_idt &name)
goto_functionst & operator=(const goto_functionst &)=delete
void compute_incoming_edges()