14 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_FUNCTIONS_H 15 #define CPROVER_GOTO_PROGRAMS_GOTO_FUNCTIONS_H 48 #define Forall_goto_functions(it, functions) \ 49 for(goto_functionst::function_mapt::iterator \ 50 it=(functions).function_map.begin(); \ 51 it!=(functions).function_map.end(); it++) 53 #define forall_goto_functions(it, functions) \ 54 for(goto_functionst::function_mapt::const_iterator \ 55 it=(functions).function_map.begin(); \ 56 it!=(functions).function_map.end(); it++) 60 std::set<irep_idt> &dest);
62 #endif // CPROVER_GOTO_PROGRAMS_GOTO_FUNCTIONS_H goto_functionst(goto_functionst &&other)
void get_local_identifiers(const goto_function_templatet< goto_programt > &goto_function, std::set< irep_idt > &dest)
goto_functionst & operator=(goto_functionst &&other)
goto_functionst()=default
Goto Programs with Functions.
goto_functionst & operator=(const goto_functionst &)=delete
goto_functions_templatet & operator=(const goto_functions_templatet &)=delete