find_symbols.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_FIND_SYMBOLS_H
#define CPROVER_UTIL_FIND_SYMBOLS_H
 
#include "irep.h"
 
#include <algorithm>
#include <set>
#include <unordered_set>
 
class exprt;
class symbol_exprt;
class typet;
 
typedef std::unordered_set<irep_idt> find_symbols_sett;
 
bool has_symbol_expr(
  const exprt &src,
  const irep_idt &identifier,
  bool include_bound_symbols);
 
void find_symbols(const exprt &src, find_symbols_sett &dest);
 
void find_symbols(
  const exprt &src,
  std::set<symbol_exprt> &dest);
 
inline std::set<symbol_exprt> find_symbols(const exprt &src)
{
  std::set<symbol_exprt> syms;
  find_symbols(src, syms);
  return syms;
}
 
inline find_symbols_sett find_symbol_identifiers(const exprt &src)
{
  find_symbols_sett identifiers;
  find_symbols(src, identifiers);
  return identifiers;
}
 
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);
 
#endif // CPROVER_UTIL_FIND_SYMBOLS_H