python_expr Namespace Reference

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

Function Documentation

build_add()

exprt python_expr::build_add	(	const exprt &	a,
		const exprt &	b,
		const typet &	t )

build_address_of()

exprt python_expr::build_address_of

(

const exprt &

obj

)

build_and()

exprt python_expr::build_and	(	const exprt &	a,
		const exprt &	b )

build_call()

exprt python_expr::build_call	(	const exprt &	callee,
		const typet &	return_type,
		const std::vector< exprt > &	args )

build_call_expr() [1/2]

exprt python_expr::build_call_expr	(	const irep_idt &	fn_id,
		const typet &	return_type,
		const std::vector< exprt > &	args )

build_call_expr() [2/2]

exprt python_expr::build_call_expr	(	const symbolt &	fn,
		const typet &	return_type,
		const std::vector< exprt > &	args )

build_deref_member()

exprt python_expr::build_deref_member	(	const exprt &	obj,
		const irep_idt &	field,
		const typet &	field_type )

build_dereference()

exprt python_expr::build_dereference	(	const exprt &	ptr,
		const typet &	t )

build_equal()

exprt python_expr::build_equal	(	const exprt &	a,
		const exprt &	b )

build_greater_equal()

exprt python_expr::build_greater_equal	(	const exprt &	a,
		const exprt &	b )

build_greater_than()

exprt python_expr::build_greater_than	(	const exprt &	a,
		const exprt &	b )

build_if()

exprt python_expr::build_if	(	const exprt &	cond,
		const exprt &	then_,
		const exprt &	else_ )

build_index() [1/2]

exprt python_expr::build_index	(	const exprt &	arr,
		const exprt &	idx )

build_index() [2/2]

exprt python_expr::build_index	(	const exprt &	arr,
		const exprt &	idx,
		const typet &	t )

build_less_equal()

exprt python_expr::build_less_equal	(	const exprt &	a,
		const exprt &	b )

build_less_than()

exprt python_expr::build_less_than	(	const exprt &	a,
		const exprt &	b )

build_member()

exprt python_expr::build_member	(	const exprt &	base,
		const irep_idt &	name,
		const typet &	t )

build_mod()

exprt python_expr::build_mod	(	const exprt &	a,
		const exprt &	b,
		const typet &	t )

build_mul()

exprt python_expr::build_mul	(	const exprt &	a,
		const exprt &	b,
		const typet &	t )

build_not()

exprt python_expr::build_not

(

const exprt &

op

)

build_notequal()

exprt python_expr::build_notequal	(	const exprt &	a,
		const exprt &	b )

build_or()

exprt python_expr::build_or	(	const exprt &	a,
		const exprt &	b )

build_sub()

exprt python_expr::build_sub	(	const exprt &	a,
		const exprt &	b,
		const typet &	t )

build_symbol()

exprt python_expr::build_symbol

(

const symbolt &

sym

)

build_typecast()

exprt python_expr::build_typecast	(	const exprt &	from,
		const typet &	t )

build_xor()

exprt python_expr::build_xor	(	const exprt &	a,
		const exprt &	b )

contains_dyn_array()

bool python_expr::contains_dyn_array

(

const typet &

t

)

decay_function_to_pointer()

exprt python_expr::decay_function_to_pointer

(

const exprt &

value

)

rounding_mode()

expr2tc python_expr::rounding_mode ( )

static

set_function_type()

void python_expr::set_function_type	(	symbolt &	sym,
		const typet &	t )

set_symbol_type()

void python_expr::set_symbol_type	(	symbolt &	sym,
		const typet &	t )

set_symbol_type_if_carried()

void python_expr::set_symbol_type_if_carried	(	symbolt &	sym,
		const typet &	t )