23 const typet &type)
const 31 else if(expr.
id()==ID_index)
38 else if(expr.
id()==ID_typecast)
45 else if(expr.
id()==ID_address_of)
52 else if(expr.
id()==ID_byte_extract_little_endian ||
53 expr.
id()==ID_byte_extract_big_endian)
60 else if(expr.
id()==ID_symbol &&
101 else if(expr.
id()==ID_index)
108 else if(expr.
id()==ID_typecast)
115 else if(expr.
id()==ID_address_of)
122 else if(expr.
id()==ID_byte_extract_little_endian ||
123 expr.
id()==ID_byte_extract_big_endian)
130 else if(expr.
id()==ID_symbol &&
146 if(expr.
id()==ID_array_equal)
161 expr.
swap(equality_expr);
The type of an expression.
const typecast_exprt & to_typecast_expr(const exprt &expr)
Cast a generic exprt to a typecast_exprt.
const typet & follow(const typet &src) const
bool base_type_eq(const typet &type1, const typet &type2, const namespacet &ns)
virtual void dereference(exprt &expr, statet &state, const bool write)
void process_array_expr_rec(exprt &expr, const typet &type) const
void replace_array_equal(exprt &expr)
The trinary if-then-else operator.
bool get_bool(const irep_namet &name) const
void replace_nondet(exprt &expr)
const index_exprt & to_index_expr(const exprt &expr)
Cast a generic exprt to an index_exprt.
const irep_idt & id() const
const address_of_exprt & to_address_of_expr(const exprt &expr)
Cast a generic exprt to an address_of_exprt.
const ssa_exprt & to_ssa_expr(const exprt &expr)
Cast a generic exprt to an ssa_exprt.
const if_exprt & to_if_expr(const exprt &expr)
Cast a generic exprt to an if_exprt.
API to expression classes.
irep_idt byte_extract_id()
bitvector_typet index_type()
void clean_expr(exprt &expr, statet &state, bool write)
The boolean constant false.
Base class for all expressions.
const exprt & get_original_expr() const
#define Forall_operands(it, expr)
void process_array_expr(exprt &expr)
const byte_extract_exprt & to_byte_extract_expr(const exprt &expr)
Expression providing an SSA-renamed symbol of expressions.