cprover
ansi_c_declarationt Member List

This is the complete list of members for ansi_c_declarationt, including all inherited members.

add(const irep_namet &name)irept
add(const irep_namet &name, const irept &irep)irept
add_expr(const irep_idt &name)exprtinline
add_initializer(exprt &value)ansi_c_declarationtinline
add_source_location()exprtinline
ansi_c_declarationt()ansi_c_declarationtinline
clear()ireptinline
compare(const irept &i) constirept
copy_to_operands(const exprt &expr)exprt
copy_to_operands(const exprt &e1, const exprt &e2)exprt
copy_to_operands(const exprt &e1, const exprt &e2, const exprt &e3)exprt
dataireptprotected
declarator() constansi_c_declarationtinline
declarator()ansi_c_declarationtinline
declarators() constansi_c_declarationtinline
declarators()ansi_c_declarationtinline
declaratorst typedefansi_c_declarationt
detach()ireptprotected
empty_direptprotectedstatic
exprt()exprtinline
exprt(const irep_idt &_id)exprtinlineexplicit
exprt(const irep_idt &_id, const typet &_type)exprtinline
find(const irep_namet &name) constirept
find_expr(const irep_idt &name) constexprtinline
find_source_location() constexprt
full_eq(const irept &other) constirept
full_hash() constirept
full_type(const ansi_c_declaratort &) constansi_c_declarationt
get(const irep_namet &name) constirept
get_bool(const irep_namet &name) constirept
get_comments()ireptinline
get_comments() constireptinline
get_int(const irep_namet &name) constirept
get_is_enum_constant() constansi_c_declarationtinline
get_is_extern() constansi_c_declarationtinline
get_is_global() constansi_c_declarationtinline
get_is_inline() constansi_c_declarationtinline
get_is_member() constansi_c_declarationtinline
get_is_parameter() constansi_c_declarationtinline
get_is_register() constansi_c_declarationtinline
get_is_static() constansi_c_declarationtinline
get_is_static_assert() constansi_c_declarationtinline
get_is_thread_local() constansi_c_declarationtinline
get_is_typedef() constansi_c_declarationtinline
get_is_weak() constansi_c_declarationtinline
get_long_long(const irep_namet &name) constirept
get_named_sub()ireptinline
get_named_sub() constireptinline
get_size_t(const irep_namet &name) constirept
get_string(const irep_namet &name) constireptinline
get_sub()ireptinline
get_sub() constireptinline
get_unsigned_int(const irep_namet &name) constirept
has_operands() constexprtinline
hash() constirept
id() constireptinline
id(const irep_idt &_data)ireptinline
id_string() constireptinline
irept(const irep_idt &_id)ireptinlineexplicit
irept()ireptinline
irept(const irept &irep)ireptinline
irept(irept &&irep)ireptinline
is_boolean() constexprt
is_comment(const irep_namet &name)ireptinlineprotectedstatic
is_constant() constexprt
is_false() constexprt
is_nil() constireptinline
is_not_nil() constireptinline
is_one() constexprt
is_true() constexprt
is_zero() constexprt
make_bool(bool value)exprt
make_false()exprt
make_nil()ireptinline
make_not()exprt
make_true()exprt
make_typecast(const typet &_type)exprt
move_to_named_sub(const irep_namet &name, irept &irep)irept
move_to_operands(exprt &expr)exprt
move_to_operands(exprt &e1, exprt &e2)exprt
move_to_operands(exprt &e1, exprt &e2, exprt &e3)exprt
move_to_sub(irept &irep)irept
mul(const exprt &expr)exprt
named_subt typedefirept
negate()exprt
nonrecursive_destructor(dt *old_data)ireptprotectedstatic
op0()exprtinline
op0() constexprtinline
op1()exprtinline
op1() constexprtinline
op2()exprtinline
op2() constexprtinline
op3()exprtinline
op3() constexprtinline
operands()exprtinline
operands() constexprtinline
operandst typedefexprt
operator!=(const irept &other) constireptinline
operator<(const irept &other) constirept
operator=(const irept &irep)ireptinline
operator=(irept &&irep)ireptinline
operator==(const irept &other) constirept
ordering(const irept &other) constirept
output(std::ostream &) constansi_c_declarationt
pretty(unsigned indent=0, unsigned max_indent=0) constirept
read() constireptinline
remove(const irep_namet &name)irept
remove_ref(dt *old_data)ireptprotectedstatic
reserve_operands(operandst::size_type n)exprtinline
set(const irep_namet &name, const irep_idt &value)ireptinline
set(const irep_namet &name, const irept &irep)ireptinline
set(const irep_namet &name, const long long value)irept
set_is_enum_constant(bool is_enum_constant)ansi_c_declarationtinline
set_is_extern(bool is_extern)ansi_c_declarationtinline
set_is_global(bool is_global)ansi_c_declarationtinline
set_is_inline(bool is_inline)ansi_c_declarationtinline
set_is_member(bool is_member)ansi_c_declarationtinline
set_is_parameter(bool is_parameter)ansi_c_declarationtinline
set_is_register(bool is_register)ansi_c_declarationtinline
set_is_static(bool is_static)ansi_c_declarationtinline
set_is_static_assert(bool is_static_assert)ansi_c_declarationtinline
set_is_thread_local(bool is_thread_local)ansi_c_declarationtinline
set_is_typedef(bool is_typedef)ansi_c_declarationtinline
set_is_weak(bool is_weak)ansi_c_declarationtinline
source_location() constexprtinline
subt typedefirept
subtract(const exprt &expr)exprt
sum(const exprt &expr)exprt
swap(irept &irep)ireptinline
to_symbol(const ansi_c_declaratort &, symbolt &symbol) constansi_c_declarationt
type()exprtinline
type() constexprtinline
visit(class expr_visitort &visitor)exprt
visit(class const_expr_visitort &visitor) constexprt
write()ireptinline
~irept()ireptinline