python_expr_builder.h File Reference

#include <util/irep/expr.h>
#include <util/irep/type.h>
#include <util/irep/std_types.h>
#include <util/symtab/symbol.h>
#include <vector>

Include dependency graph for python_expr_builder.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	python_expr

Functions
bool	python_expr::contains_dyn_array (const typet &t)
void	python_expr::set_symbol_type (symbolt &sym, const typet &t)
void	python_expr::set_function_type (symbolt &sym, const typet &t)
void	python_expr::set_symbol_type_if_carried (symbolt &sym, const typet &t)
exprt	python_expr::build_symbol (const symbolt &sym)
exprt	python_expr::build_typecast (const exprt &from, const typet &t)
exprt	python_expr::build_address_of (const exprt &obj)
exprt	python_expr::decay_function_to_pointer (const exprt &value)
exprt	python_expr::build_dereference (const exprt &ptr, const typet &t)
exprt	python_expr::build_member (const exprt &base, const irep_idt &name, const typet &t)
exprt	python_expr::build_deref_member (const exprt &obj, const irep_idt &field, const typet &field_type)
exprt	python_expr::build_index (const exprt &arr, const exprt &idx, const typet &t)
exprt	python_expr::build_index (const exprt &arr, const exprt &idx)
exprt	python_expr::build_not (const exprt &op)
exprt	python_expr::build_less_than (const exprt &a, const exprt &b)
exprt	python_expr::build_less_equal (const exprt &a, const exprt &b)
exprt	python_expr::build_greater_than (const exprt &a, const exprt &b)
exprt	python_expr::build_greater_equal (const exprt &a, const exprt &b)
exprt	python_expr::build_or (const exprt &a, const exprt &b)
exprt	python_expr::build_and (const exprt &a, const exprt &b)
exprt	python_expr::build_xor (const exprt &a, const exprt &b)
exprt	python_expr::build_add (const exprt &a, const exprt &b, const typet &t)
exprt	python_expr::build_sub (const exprt &a, const exprt &b, const typet &t)
exprt	python_expr::build_mod (const exprt &a, const exprt &b, const typet &t)
exprt	python_expr::build_mul (const exprt &a, const exprt &b, const typet &t)
exprt	python_expr::build_equal (const exprt &a, const exprt &b)
exprt	python_expr::build_notequal (const exprt &a, const exprt &b)
exprt	python_expr::build_if (const exprt &cond, const exprt &then_, const exprt &else_)
exprt	python_expr::build_call_expr (const symbolt &fn, const typet &return_type, const std::vector< exprt > &args)
exprt	python_expr::build_call_expr (const irep_idt &fn_id, const typet &return_type, const std::vector< exprt > &args)
exprt	python_expr::build_call (const exprt &callee, const typet &return_type, const std::vector< exprt > &args)