#include <util/arith/bitvector.h>
#include <util/expr/expr_util.h>
#include <util/arith/fixedbv.h>
#include <util/arith/ieee_float.h>
#include <util/irep/std_expr.h>
#include <util/irep/std_types.h>

Include dependency graph for expr_util.cpp:

Functions
exprt	gen_zero (const typet &type)
exprt	gen_zero (const typet &type, bool array_as_array_of)
exprt	gen_one (const typet &type)
exprt	gen_not (const exprt &op)
exprt	boolean_negate (const exprt &src)
exprt	gen_binary (const std::string &id, const typet &type, const exprt &op1, const exprt &op2)
exprt	gen_binary (irep_idt &id, const typet &type, const exprt &op1, const exprt &op2)
exprt	gen_and (const exprt &op1, const exprt &op2)
exprt	gen_and (const exprt &op1, const exprt &op2, const exprt &op3)
exprt	gen_or (const exprt &op1, const exprt &op2)
exprt	gen_or (const exprt &op1, const exprt &op2, const exprt &op3)
void	gen_binary (exprt &expr, const std::string &id, bool default_value)
void	gen_and (exprt &expr)
void	gen_or (exprt &expr)
exprt	symbol_expr (const symbolt &symbol)
pointer_typet	gen_pointer_type (const typet &subtype)
exprt	gen_address_of (const exprt &op)
exprt	gen_boolean (bool value)
bool	expr_has_floatbv (const exprt &src)

Function Documentation

◆ boolean_negate()

exprt boolean_negate ( const exprt & src )

◆ expr_has_floatbv()

bool expr_has_floatbv ( const exprt & src )

◆ gen_address_of()

exprt gen_address_of ( const exprt & op )

◆ gen_and() [1/3]

exprt gen_and	(	const exprt &	op1,
		const exprt &	op2 )

◆ gen_and() [2/3]

exprt gen_and	(	const exprt &	op1,
		const exprt &	op2,
		const exprt &	op3 )

◆ gen_and() [3/3]

void gen_and ( exprt & expr )

◆ gen_binary() [1/3]

exprt gen_binary	(	const std::string &	id,
		const typet &	type,
		const exprt &	op1,
		const exprt &	op2 )

◆ gen_binary() [2/3]

void gen_binary	(	exprt &	expr,
		const std::string &	id,
		bool	default_value )

◆ gen_binary() [3/3]

exprt gen_binary	(	irep_idt &	id,
		const typet &	type,
		const exprt &	op1,
		const exprt &	op2 )

◆ gen_boolean()

exprt gen_boolean ( bool value )

◆ gen_not()

exprt gen_not ( const exprt & op )

◆ gen_one()

exprt gen_one ( const typet & type )

◆ gen_or() [1/3]

exprt gen_or	(	const exprt &	op1,
		const exprt &	op2 )

◆ gen_or() [2/3]

exprt gen_or	(	const exprt &	op1,
		const exprt &	op2,
		const exprt &	op3 )

◆ gen_or() [3/3]

void gen_or ( exprt & expr )

◆ gen_pointer_type()

pointer_typet gen_pointer_type ( const typet & subtype )

◆ gen_zero() [1/2]

exprt gen_zero ( const typet & type )

◆ gen_zero() [2/2]

exprt gen_zero	(	const typet &	type,
		bool	array_as_array_of )

◆ symbol_expr()

exprt symbol_expr ( const symbolt & symbol )

Functions