python_expr_builder.cpp File Reference

#include <python-frontend/python_expr_builder.h>
#include <irep2/irep2_utils.h>
#include <util/irep/migrate.h>
#include <util/irep/std_expr.h>
#include <util/irep/std_types.h>
#include <util/irep/std_code.h>
#include <util/expr/expr_util.h>
#include <util/lang/python_types.h>

Include dependency graph for python_expr_builder.cpp:

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_symbol_type_if_carried (symbolt &sym, const typet &t)
void	python_expr::set_function_type (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)
static expr2tc	python_expr::rounding_mode ()
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_mul (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_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)