#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:

Typedefs
typedef std::unordered_set< irep_idt >	find_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 197 of file find_symbols.cpp.

◆ find_non_pointer_type_symbols() [2/2]

void find_non_pointer_type_symbols	(	const exprt &	src,
		find_symbols_sett &	dest
	)

Definition at line 190 of file find_symbols.cpp.

◆ find_symbols() [1/4]

void find_symbols	(	const exprt &	src,
		find_symbols_sett &	dest
	)

Definition at line 16 of file find_symbols.cpp.

◆ find_symbols() [2/4]

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

Definition at line 23 of file find_symbols.cpp.

◆ find_symbols() [3/4]

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

Definition at line 67 of file find_symbols.cpp.

◆ find_symbols() [4/4]

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

Definition at line 80 of file find_symbols.cpp.

◆ find_type_and_expr_symbols() [1/2]

void find_type_and_expr_symbols	(	const typet &	src,
		find_symbols_sett &	dest
	)

Definition at line 209 of file find_symbols.cpp.

◆ find_type_and_expr_symbols() [2/2]

void find_type_and_expr_symbols	(	const exprt &	src,
		find_symbols_sett &	dest
	)

Definition at line 204 of file find_symbols.cpp.

◆ find_type_symbols() [1/2]

void find_type_symbols	(	const typet &	src,
		find_symbols_sett &	dest
	)

Definition at line 185 of file find_symbols.cpp.

◆ find_type_symbols() [2/2]

void find_type_symbols	(	const exprt &	src,
		find_symbols_sett &	dest
	)

Definition at line 180 of file find_symbols.cpp.

◆ has_symbol()

bool has_symbol	(	const exprt &	src,
		const find_symbols_sett &	symbols
	)

Definition at line 60 of file find_symbols.cpp.

Typedefs

Functions