cprover
|
#include <algorithm>
#include <set>
#include <unordered_set>
#include "deprecate.h"
#include "irep.h"
Go to the source code of this file.
Typedefs | |
typedef std::unordered_set< irep_idt > | find_symbols_sett |
Functions | |
void | find_symbols_or_nexts (const exprt &src, find_symbols_sett &dest) |
Add to the set dest the sub-expressions of src with id ID_symbol or ID_next_symbol. More... | |
template<typename iteratort > | |
find_symbols_sett | find_symbols_or_nexts (iteratort begin, iteratort end) |
void | find_symbols (const exprt &src, find_symbols_sett &dest, bool current, bool next) |
Add to the set dest the sub-expressions of src with id ID_symbol if current is true, and ID_next_symbol if next is true. More... | |
void | find_symbols (const exprt &src, std::set< exprt > &dest) |
Find sub expressions with id ID_symbol or ID_next_symbol. More... | |
void | find_symbols (const exprt &src, std::set< symbol_exprt > &dest) |
Find sub expressions with id ID_symbol. More... | |
std::set< symbol_exprt > | find_symbols (const exprt &src) |
Find sub expressions with id ID_symbol. More... | |
std::unordered_set< irep_idt > | find_symbol_identifiers (const exprt &src) |
Find identifiers of the sub expressions with id ID_symbol. More... | |
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 std::unordered_set<irep_idt> find_symbols_sett |
Definition at line 24 of file find_symbols.h.
void find_non_pointer_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 196 of file find_symbols.cpp.
void find_non_pointer_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 203 of file find_symbols.cpp.
Find identifiers of the sub expressions with id ID_symbol.
Definition at line 91 of file find_symbols.cpp.
std::set<symbol_exprt> find_symbols | ( | const exprt & | src | ) |
Find sub expressions with id ID_symbol.
Definition at line 84 of file find_symbols.cpp.
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest, | ||
bool | current, | ||
bool | next | ||
) |
Add to the set dest
the sub-expressions of src
with id ID_symbol if current
is true, and ID_next_symbol if next
is true.
Definition at line 23 of file find_symbols.cpp.
Find sub expressions with id ID_symbol or ID_next_symbol.
Definition at line 64 of file find_symbols.cpp.
void find_symbols | ( | const exprt & | src, |
std::set< symbol_exprt > & | dest | ||
) |
Find sub expressions with id ID_symbol.
Definition at line 74 of file find_symbols.cpp.
void find_symbols_or_nexts | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Add to the set dest
the sub-expressions of src
with id ID_symbol or ID_next_symbol.
Definition at line 18 of file find_symbols.cpp.
find_symbols_sett find_symbols_or_nexts | ( | iteratort | begin, |
iteratort | end | ||
) |
begin
and end
which have id ID_symbol or ID_next_symbol Definition at line 33 of file find_symbols.h.
void find_type_and_expr_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 210 of file find_symbols.cpp.
void find_type_and_expr_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 215 of file find_symbols.cpp.
void find_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 186 of file find_symbols.cpp.
void find_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 191 of file find_symbols.cpp.
bool has_symbol | ( | const exprt & | src, |
const find_symbols_sett & | symbols | ||
) |
src
is present in symbols
Definition at line 57 of file find_symbols.cpp.