ansi_c_declarationt Member List

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

add(const irep_idt &name)	irept
add(const irep_idt &name, irept irep)	irept
add_expr(const irep_idt &name)	exprt	inlineprotected
add_initializer(exprt &value)	ansi_c_declarationt	inline
add_source_location()	exprt	inline
add_to_operands(const exprt &expr)	exprt	inline
add_to_operands(exprt &&expr)	exprt	inline
add_to_operands(exprt &&e1, exprt &&e2)	exprt	inline
add_to_operands(exprt &&e1, exprt &&e2, exprt &&e3)	exprt	inline
ansi_c_declarationt()	ansi_c_declarationt	inline
baset typedef	irept
check(const exprt &, const validation_modet)	exprt	inlinestatic
clear()	irept	inline
compare(const irept &i) const	irept
copy_to_operands(const exprt &expr)	exprt	inline
data	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
declarator() const	ansi_c_declarationt	inline
declarator()	ansi_c_declarationt	inline
declarators() const	ansi_c_declarationt	inline
declarators()	ansi_c_declarationt	inline
declaratorst typedef	ansi_c_declarationt
depth_begin()	exprt
depth_begin() const	exprt
depth_begin(std::function< exprt &()> mutate_root) const	exprt
depth_cbegin() const	exprt
depth_cend() const	exprt
depth_end()	exprt
depth_end() const	exprt
detach()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
drop_source_location()	exprt	inline
dt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
empty_d	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
exprt()	exprt	inline
exprt(const irep_idt &_id)	exprt	inlineexplicit
exprt(irep_idt _id, typet _type)	exprt	inline
exprt(irep_idt _id, typet _type, operandst &&_operands)	exprt	inline
exprt(const irep_idt &id, typet type, source_locationt loc)	exprt	inline
find(const irep_idt &name) const	irept
find_expr(const irep_idt &name) const	exprt	inlineprotected
find_source_location() const	exprt
full_eq(const irept &other) const	irept
full_hash() const	irept
full_type(const ansi_c_declaratort &) const	ansi_c_declarationt
get(const irep_idt &name) const	irept
get_bool(const irep_idt &name) const	irept
get_int(const irep_idt &name) const	irept
get_is_enum_constant() const	ansi_c_declarationt	inline
get_is_extern() const	ansi_c_declarationt	inline
get_is_global() const	ansi_c_declarationt	inline
get_is_inline() const	ansi_c_declarationt	inline
get_is_member() const	ansi_c_declarationt	inline
get_is_parameter() const	ansi_c_declarationt	inline
get_is_register() const	ansi_c_declarationt	inline
get_is_static() const	ansi_c_declarationt	inline
get_is_static_assert() const	ansi_c_declarationt	inline
get_is_thread_local() const	ansi_c_declarationt	inline
get_is_typedef() const	ansi_c_declarationt	inline
get_is_weak() const	ansi_c_declarationt	inline
get_long_long(const irep_idt &name) const	irept
get_named_sub()	irept	inline
get_named_sub() const	irept	inline
get_size_t(const irep_idt &name) const	irept
get_string(const irep_idt &name) const	irept	inline
get_sub()	irept	inline
get_sub() const	irept	inline
has_operands() const	exprt	inline
hash() const	irept
id() const	irept	inline
id(const irep_idt &_data)	irept	inline
id_string() const	irept	inline
irept(const irep_idt &_id)	irept	inlineexplicit
irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)	irept	inline
irept()=default	irept
is_boolean() const	exprt	inline
is_comment(const irep_idt &name)	irept	inlinestatic
is_constant() const	exprt	inline
is_false() const	exprt
is_nil() const	irept	inline
is_not_nil() const	irept	inline
is_one() const	exprt
is_true() const	exprt
is_zero() const	exprt
make_nil()	irept	inline
move_to_named_sub(const irep_idt &name, irept &irep)	irept
move_to_sub(irept &irep)	irept
named_subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
nonrecursive_destructor(dt *old_data)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
number_of_non_comments(const named_subt &)	irept	static
op0()	exprt	inlineprotected
op0() const	exprt	inlineprotected
op1()	exprt	inlineprotected
op1() const	exprt	inlineprotected
op2()	exprt	inlineprotected
op2() const	exprt	inlineprotected
op3()	exprt	inlineprotected
op3() const	exprt	inlineprotected
operands()	exprt	inline
operands() const	exprt	inline
operandst typedef	exprt
operator!=(const irept &other) const	irept	inline
operator<(const irept &other) const	irept
operator=(const sharing_treet &irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
operator=(sharing_treet &&irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
operator==(const irept &other) const	irept
ordering(const irept &other) const	irept
output(std::ostream &) const	ansi_c_declarationt
pretty(unsigned indent=0, unsigned max_indent=0) const	irept
read() const	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
remove(const irep_idt &name)	irept
remove_ref(dt *old_data)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
reserve_operands(operandst::size_type n)	exprt	inline
set(const irep_idt &name, const irep_idt &value)	irept	inline
set(const irep_idt &name, irept irep)	irept	inline
set(const irep_idt &name, const long long value)	irept
set_is_enum_constant(bool is_enum_constant)	ansi_c_declarationt	inline
set_is_extern(bool is_extern)	ansi_c_declarationt	inline
set_is_global(bool is_global)	ansi_c_declarationt	inline
set_is_inline(bool is_inline)	ansi_c_declarationt	inline
set_is_member(bool is_member)	ansi_c_declarationt	inline
set_is_parameter(bool is_parameter)	ansi_c_declarationt	inline
set_is_register(bool is_register)	ansi_c_declarationt	inline
set_is_static(bool is_static)	ansi_c_declarationt	inline
set_is_static_assert(bool is_static_assert)	ansi_c_declarationt	inline
set_is_thread_local(bool is_thread_local)	ansi_c_declarationt	inline
set_is_typedef(bool is_typedef)	ansi_c_declarationt	inline
set_is_weak(bool is_weak)	ansi_c_declarationt	inline
set_size_t(const irep_idt &name, const std::size_t value)	irept
sharing_treet(irep_idt _id)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inlineexplicit
sharing_treet(irep_idt _id, named_subt _named_sub, subt _sub)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
sharing_treet()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
sharing_treet(const sharing_treet &irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
sharing_treet(sharing_treet &&irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
source_location() const	exprt	inline
subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
swap(irept &irep)	irept	inline
to_symbol(const ansi_c_declaratort &) const	ansi_c_declarationt
tree_implementationt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
type()	exprt	inline
type() const	exprt	inline
unique_depth_begin() const	exprt
unique_depth_cbegin() const	exprt
unique_depth_cend() const	exprt
unique_depth_end() const	exprt
validate(const exprt &expr, const namespacet &, const validation_modet vm=validation_modet::INVARIANT)	exprt	inlinestatic
validate_full(const exprt &expr, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT)	exprt	inlinestatic
visit(class expr_visitort &visitor)	exprt
visit(class const_expr_visitort &visitor) const	exprt
visit_post(std::function< void(exprt &)>)	exprt
visit_post(std::function< void(const exprt &)>) const	exprt
visit_pre(std::function< void(exprt &)>)	exprt
visit_pre(std::function< void(const exprt &)>) const	exprt
with_source_location(source_locationt location) &	exprt	inline
with_source_location(source_locationt location) &&	exprt	inline
with_source_location(const exprt &other) &	exprt	inline
with_source_location(const exprt &other) &&	exprt	inline
write()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
~sharing_treet()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline