cprover
find_symbols.h File Reference
#include <set>
#include <unordered_set>
#include "irep.h"
Include dependency graph for find_symbols.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs

typedef std::unordered_set< irep_idtfind_symbols_sett
 

Functions

void find_symbols (const exprt &src, find_symbols_sett &dest)
 
void find_symbols (const exprt &src, find_symbols_sett &dest, bool current, bool next)
 
void find_symbols (const exprt &src, std::set< exprt > &dest)
 
void find_symbols (const exprt &src, std::set< symbol_exprt > &dest)
 
bool has_symbol (const exprt &src, const find_symbols_sett &symbols)
 
void find_type_symbols (const typet &src, find_symbols_sett &dest)
 
void find_type_symbols (const exprt &src, find_symbols_sett &dest)
 
void find_non_pointer_type_symbols (const typet &src, find_symbols_sett &dest)
 
void find_non_pointer_type_symbols (const exprt &src, find_symbols_sett &dest)
 
void find_type_and_expr_symbols (const typet &src, find_symbols_sett &dest)
 
void find_type_and_expr_symbols (const exprt &src, find_symbols_sett &dest)
 

Typedef Documentation

◆ find_symbols_sett

typedef std::unordered_set<irep_idt> find_symbols_sett

Definition at line 20 of file find_symbols.h.

Function Documentation

◆ find_non_pointer_type_symbols() [1/2]

void find_non_pointer_type_symbols ( const typet src,
find_symbols_sett dest 
)

Definition at line 206 of file find_symbols.cpp.

References F_TYPE_NON_PTR, and find_symbols().

◆ find_non_pointer_type_symbols() [2/2]

void find_non_pointer_type_symbols ( const exprt src,
find_symbols_sett dest 
)

Definition at line 199 of file find_symbols.cpp.

References F_TYPE_NON_PTR, and find_symbols().

Referenced by dump_ct::convert_compound().

◆ find_symbols() [1/4]

◆ find_symbols() [2/4]

void find_symbols ( const exprt src,
find_symbols_sett dest,
bool  current,
bool  next 
)

◆ find_symbols() [3/4]

void find_symbols ( const exprt src,
std::set< exprt > &  dest 
)

Definition at line 67 of file find_symbols.cpp.

References find_symbols(), forall_operands, and irept::id().

◆ find_symbols() [4/4]

void find_symbols ( const exprt src,
std::set< symbol_exprt > &  dest 
)

Definition at line 80 of file find_symbols.cpp.

References find_symbols(), forall_operands, irept::id(), and to_symbol_expr().

◆ find_type_and_expr_symbols() [1/2]

void find_type_and_expr_symbols ( const typet src,
find_symbols_sett dest 
)

Definition at line 218 of file find_symbols.cpp.

References F_BOTH, and find_symbols().

◆ find_type_and_expr_symbols() [2/2]

void find_type_and_expr_symbols ( const exprt src,
find_symbols_sett dest 
)

◆ find_type_symbols() [1/2]

void find_type_symbols ( const typet src,
find_symbols_sett dest 
)

Definition at line 194 of file find_symbols.cpp.

References F_TYPE, and find_symbols().

◆ find_type_symbols() [2/2]

void find_type_symbols ( const exprt src,
find_symbols_sett dest 
)

Definition at line 189 of file find_symbols.cpp.

References F_TYPE, and find_symbols().

◆ has_symbol()

bool has_symbol ( const exprt src,
const find_symbols_sett symbols 
)

Definition at line 60 of file find_symbols.cpp.

References has_symbol().