cprover
goto_function.h File Reference
#include <iosfwd>
#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
 

Functions

void get_local_identifiers (const goto_functiont &, std::set< irep_idt > &dest)
 

Function Documentation

◆ get_local_identifiers()