cprover
|
Goto Function. More...
#include <iosfwd>
#include <util/deprecate.h>
#include <util/find_symbols.h>
#include <util/std_types.h>
#include "goto_program.h"
Go to the source code of this file.
Classes | |
class | goto_functiont |
A goto function, consisting of function type (see type), 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 & | , |
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 18 of file goto_function.cpp.