17 const irep_idt integer_bits=
get(ID_integer_bits);
18 assert(!integer_bits.
empty());
30 const irep_idt &component_name)
const 36 for(componentst::const_iterator
41 if(it->get_name()==component_name)
52 const irep_idt &component_name)
const 56 for(componentst::const_iterator
61 if(it->get_name()==component_name)
69 const irep_idt &component_name)
const 71 const exprt c=get_component(component_name);
81 if(ot_components.size()<
85 componentst::const_iterator
86 ot_it=ot_components.begin();
88 for(componentst::const_iterator tt_it=
89 tt_components.begin();
90 tt_it!=tt_components.end();
93 if(ot_it->type()!=tt_it->type() ||
94 ot_it->get(ID_name)!=tt_it->get(ID_name))
107 return type.
id()==ID_pointer &&
113 return type.
id()==ID_pointer &&
114 type.
get_bool(ID_C_rvalue_reference);
const irept & get_nil_irep()
The type of an expression.
constant_exprt zero_expr() const
const std::string & id2string(const irep_idt &d)
constant_exprt largest_expr() const
const mp_integer string2integer(const std::string &n, unsigned base)
const std::string integer2string(const mp_integer &n, unsigned base)
unsigned unsafe_string2unsigned(const std::string &str, int base)
std::size_t get_integer_bits() const
std::vector< componentt > componentst
const componentst & components() const
A constant literal expression.
bool get_bool(const irep_namet &name) const
mp_integer get_to() const
const irep_idt & id() const
constant_exprt smallest_expr() const
API to expression classes.
bool is_reference(const typet &type)
TO_BE_DOCUMENTED.
mp_integer smallest() const
void set_from(const mp_integer &_from)
mp_integer largest() const
mp_integer smallest() const
typet component_type(const irep_idt &component_name) const
std::size_t get_width() const
std::size_t get_f() const
mp_integer largest() const
bool is_prefix_of(const struct_typet &other) const
constant_exprt largest_expr() const
Base class for all expressions.
bool is_rvalue_reference(const typet &type)
TO_BE_DOCUMENTED.
std::size_t component_number(const irep_idt &component_name) const
constant_exprt smallest_expr() const
const std::string & get_string(const irep_namet &name) const
const constant_exprt & to_constant_expr(const exprt &expr)
Cast a generic exprt to a constant_exprt.
void set_to(const mp_integer &to)
const componentt & get_component(const irep_idt &component_name) const
constant_exprt zero_expr() const
mp_integer get_from() const