std_expr.h File Reference

#include <cassert>
#include <util/arith/bitvector.h>
#include <util/irep/expr.h>
#include <util/arith/mp_arith.h>

Include dependency graph for std_expr.h:

Go to the source code of this file.

Classes
class	transt
class	symbol_exprt
class	unary_exprt
	Generic base class for unary expressions. More...
class	predicate_exprt
class	binary_relation_exprt
class	binary_exprt
class	plus_exprt
class	minus_exprt
class	mult_exprt
class	div_exprt
class	mod_exprt
class	equality_exprt
class	index_exprt
class	array_of_exprt
class	union_exprt
	union constructor from single element More...
class	struct_exprt
	struct constructor from list of elements More...
class	object_descriptor_exprt
class	dynamic_object_exprt
class	typecast_exprt
class	and_exprt
class	implies_exprt
class	or_exprt
class	address_of_exprt
class	not_exprt
class	dereference_exprt
class	if_exprt
class	with_exprt
class	member_exprt
class	member_ref_exprt
class	type_exprt
class	constant_exprt
class	true_exprt
	The boolean constant true. More...
class	false_exprt
class	nil_exprt

Functions
const transt &	to_trans (const exprt &expr)
transt &	to_trans (exprt &expr)
const symbol_exprt &	to_symbol_expr (const exprt &expr)
symbol_exprt &	to_symbol_expr (exprt &expr)
const equality_exprt &	to_equality_expr (const exprt &expr)
equality_exprt &	to_equality_expr (exprt &expr)
const index_exprt &	to_index_expr (const exprt &expr)
index_exprt &	to_index_expr (exprt &expr)
const unary_exprt &	to_unary_expr (const exprt &expr)
const array_of_exprt &	to_array_of_expr (const exprt &expr)
array_of_exprt &	to_array_of_expr (exprt &expr)
const union_exprt &	to_union_expr (const exprt &expr)
	Cast a generic exprt to a union_exprt.
union_exprt &	to_union_expr (exprt &expr)
	Cast a generic exprt to a union_exprt.
const struct_exprt &	to_struct_expr (const exprt &expr)
	Cast a generic exprt to a struct_exprt.
struct_exprt &	to_struct_expr (exprt &expr)
	Cast a generic exprt to a struct_exprt.
const object_descriptor_exprt &	to_object_descriptor_expr (const exprt &expr)
object_descriptor_exprt &	to_object_descriptor_expr (exprt &expr)
const dynamic_object_exprt &	to_dynamic_object_expr (const exprt &expr)
dynamic_object_exprt &	to_dynamic_object_expr (exprt &expr)
const typecast_exprt &	to_typecast_expr (const exprt &expr)
typecast_exprt &	to_typecast_expr (exprt &expr)
const address_of_exprt &	to_address_of_expr (const exprt &expr)
address_of_exprt &	to_address_of_expr (exprt &expr)
const if_exprt &	to_if_expr (const exprt &expr)
if_exprt &	to_if_expr (exprt &expr)
const with_exprt &	to_with_expr (const exprt &expr)
with_exprt &	to_with_expr (exprt &expr)
const member_exprt &	to_member_expr (const exprt &expr)
member_exprt &	to_member_expr (exprt &expr)
const member_ref_exprt &	to_member_ref_expr (const exprt &expr)
member_ref_exprt &	to_member_ref_expr (exprt &expr)
const constant_exprt &	to_constant_expr (const exprt &expr)
	Cast a generic exprt to a constant_exprt.
constant_exprt &	to_constant_expr (exprt &expr)
	Cast a generic exprt to a constant_exprt.

Function Documentation

to_address_of_expr() [1/2]

const address_of_exprt & to_address_of_expr ( const exprt & expr )

externinline

to_address_of_expr() [2/2]

address_of_exprt & to_address_of_expr ( exprt & expr )

externinline

to_array_of_expr() [1/2]

const array_of_exprt & to_array_of_expr

(

const exprt &

expr

)

to_array_of_expr() [2/2]

array_of_exprt & to_array_of_expr

(

exprt &

expr

)

to_constant_expr() [1/2]

const constant_exprt & to_constant_expr ( const exprt & expr )

inline

Cast a generic exprt to a constant_exprt.

This is an unchecked conversion. expr must be known to be constant_exprt.

Parameters

expr	Source expression

Returns

Object of type constant_exprt

to_constant_expr() [2/2]

constant_exprt & to_constant_expr ( exprt & expr )

inline

Cast a generic exprt to a constant_exprt.

This is an unchecked conversion. expr must be known to be constant_exprt.

Parameters

expr	Source expression

Returns

Object of type constant_exprt

to_dynamic_object_expr() [1/2]

const dynamic_object_exprt & to_dynamic_object_expr

(

const exprt &

expr

)

to_dynamic_object_expr() [2/2]

dynamic_object_exprt & to_dynamic_object_expr

(

exprt &

expr

)

to_equality_expr() [1/2]

const equality_exprt & to_equality_expr ( const exprt & expr )

externinline

to_equality_expr() [2/2]

equality_exprt & to_equality_expr ( exprt & expr )

externinline

to_if_expr() [1/2]

const if_exprt & to_if_expr ( const exprt & expr )

externinline

to_if_expr() [2/2]

if_exprt & to_if_expr ( exprt & expr )

externinline

to_index_expr() [1/2]

const index_exprt & to_index_expr

(

const exprt &

expr

)

to_index_expr() [2/2]

index_exprt & to_index_expr

(

exprt &

expr

)

to_member_expr() [1/2]

const member_exprt & to_member_expr ( const exprt & expr )

inline

to_member_expr() [2/2]

member_exprt & to_member_expr ( exprt & expr )

inline

to_member_ref_expr() [1/2]

const member_ref_exprt & to_member_ref_expr ( const exprt & expr )

inline

to_member_ref_expr() [2/2]

member_ref_exprt & to_member_ref_expr ( exprt & expr )

inline

to_object_descriptor_expr() [1/2]

const object_descriptor_exprt & to_object_descriptor_expr

(

const exprt &

expr

)

to_object_descriptor_expr() [2/2]

object_descriptor_exprt & to_object_descriptor_expr

(

exprt &

expr

)

to_struct_expr() [1/2]

const struct_exprt & to_struct_expr

(

const exprt &

expr

)

Cast a generic exprt to a struct_exprt.

This is an unchecked conversion. expr must be known to be struct_exprt.

Parameters

expr	Source expression

Returns

Object of type struct_exprt

to_struct_expr() [2/2]

struct_exprt & to_struct_expr

(

exprt &

expr

)

Cast a generic exprt to a struct_exprt.

This is an unchecked conversion. expr must be known to be struct_exprt.

Parameters

expr	Source expression

Returns

Object of type struct_exprt

to_symbol_expr() [1/2]

const symbol_exprt & to_symbol_expr ( const exprt & expr )

externinline

to_symbol_expr() [2/2]

symbol_exprt & to_symbol_expr ( exprt & expr )

externinline

to_trans() [1/2]

const transt & to_trans ( const exprt & expr )

externinline

to_trans() [2/2]

transt & to_trans ( exprt & expr )

externinline

to_typecast_expr() [1/2]

const typecast_exprt & to_typecast_expr ( const exprt & expr )

externinline

to_typecast_expr() [2/2]

typecast_exprt & to_typecast_expr ( exprt & expr )

externinline

to_unary_expr()

const unary_exprt & to_unary_expr ( const exprt & expr )

inline

to_union_expr() [1/2]

const union_exprt & to_union_expr

(

const exprt &

expr

)

Cast a generic exprt to a union_exprt.

This is an unchecked conversion. expr must be known to be union_exprt.

Parameters

expr	Source expression

Returns

Object of type union_exprt

to_union_expr() [2/2]

union_exprt & to_union_expr

(

exprt &

expr

)

Cast a generic exprt to a union_exprt.

This is an unchecked conversion. expr must be known to be union_exprt.

Parameters

expr	Source expression

Returns

Object of type union_exprt

to_with_expr() [1/2]

const with_exprt & to_with_expr ( const exprt & expr )

externinline

to_with_expr() [2/2]

with_exprt & to_with_expr ( exprt & expr )

externinline