CBMC
goto_function.h File Reference

Goto Function. More...

#include <util/std_types.h>
#include "goto_program.h"
+ Include dependency graph for goto_function.h:
+ This graph shows which files directly or indirectly include this file:

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...
 

Detailed Description

Goto Function.

Definition in file goto_function.h.

Function Documentation

◆ get_local_identifiers()

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.