CBMC
|
Goto Function. More...
Go to the source code of this file.
Classes | |
class | goto_functiont |
A goto function, consisting of function body (see body) and parameter identifiers (see parameter_identifiers). More... | |
Functions | |
void | get_local_identifiers (const goto_functiont &, std::set< irep_idt > &dest) |
Return in dest the identifiers of the local variables declared in the goto_function and the identifiers of the paramters of the goto_function . More... | |
Goto Function.
Definition in file goto_function.h.
void get_local_identifiers | ( | const goto_functiont & | goto_function, |
std::set< irep_idt > & | dest | ||
) |
Return in dest
the identifiers of the local variables declared in the goto_function
and the identifiers of the paramters of the goto_function
.
Definition at line 21 of file goto_function.cpp.