bv_typet Member List

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

a_access	irept	static
a_arguments	typet	static
a_axiom	irept	static
a_base_ctor_derived	irept	static
a_base_name	irept	static
a_cformat	irept	static
a_cmt	irept	static
a_cmt_active	irept	static
a_cmt_base_name	irept	static
a_cmt_constant	irept	static
a_cmt_identifier	irept	static
a_cmt_size	irept	static
a_cmt_type	irept	static
a_cmt_unsigned	irept	static
a_cmt_volatile	irept	static
a_cmt_width	irept	static
a_code	irept	static
a_column	irept	static
a_comment	irept	static
a_comp_name	irept	static
a_component	irept	static
a_components	typet	static
a_cpp_type	irept	static
a_default	irept	static
a_derived_this_arg	irept	static
a_destination	irept	static
a_dynamic	irept	static
a_ellipsis	irept	static
a_end_location	irept	static
a_event	irept	static
a_explicit	irept	static
a_f	typet	static
a_failed_symbol	irept	static
a_file	irept	static
a_file_local	irept	static
a_flavor	irept	static
a_from	irept	static
a_function	irept	static
a_guard	irept	static
a_hex_or_oct	irept	static
a_hide	irept	static
a_id_class	irept	static
a_identifier	typet	static
a_implicit	irept	static
a_incomplete	irept	static
a_initialization	irept	static
a_inlined	irept	static
a_integer_bits	typet	static
a_invalid_object	irept	static
a_is_expression	irept	static
a_is_extern	irept	static
a_is_macro	irept	static
a_is_parameter	irept	static
a_is_thread_local	irept	static
a_is_type	irept	static
a_label	irept	static
a_lhs	irept	static
a_line	irept	static
a_literal	irept	static
a_location	irept	static
a_loopid	irept	static
a_lvalue	irept	static
a_member_name	irept	static
a_methods	typet	static
a_mode	irept	static
a_module	irept	static
a_name	typet	static
a_need_vptr_init	irept	static
a_object_type	irept	static
a_pretty_name	irept	static
a_property	irept	static
a_reference	irept	static
a_restricted	irept	static
a_return_type	typet	static
a_size	typet	static
a_statement	irept	static
a_static_lifetime	irept	static
a_tag	irept	static
a_theorem	irept	static
a_to	irept	static
a_type_id	irept	static
a_user_provided	irept	static
a_width	typet	static
a_zero_initializer	irept	static
access() const	irept	inline
add(const irep_idt &name)	irept
add_type(const std::string &name)	typet	inline
arguments() const	irept	inline
arguments(const irept &val)	irept	inline
axiom() const	irept	inline
axiom(bool val)	irept	inline
base_ctor_derived() const	irept	inline
base_ctor_derived(bool val)	irept	inline
base_name() const	irept	inline
base_name(const irep_idt val)	irept	inline
body() const	irept	inline
bv() const	irept	inline
bv(const irept &val)	irept	inline
bv_typet()	bv_typet	inline
bv_typet(unsigned width)	bv_typet	inlineexplicit
can_carry_provenance() const	typet	inline
can_carry_provenance(bool yes)	typet	inline
cformat() const	irept	inline
cformat(const irep_idt val)	irept	inline
clear()	irept
cmt_active(const irep_idt val)	irept	inline
cmt_base_name() const	irept	inline
cmt_base_name(const irep_idt name)	irept	inline
cmt_constant() const	irept	inline
cmt_constant(const irep_idt val)	irept	inline
cmt_constant(bool val)	irept	inline
cmt_identifier() const	irept	inline
cmt_identifier(const irep_idt val)	irept	inline
cmt_location() const	irept	inline
cmt_size() const	irept	inline
cmt_size(const irept &val)	irept	inline
cmt_type() const	irept	inline
cmt_type(const irept &val)	irept	inline
cmt_unsigned() const	irept	inline
cmt_unsigned(const irep_idt val)	irept	inline
cmt_unsigned(bool val)	irept	inline
cmt_volatile() const	irept	inline
cmt_volatile(bool val)	irept	inline
cmt_width() const	irept	inline
cmt_width(const irep_idt width)	irept	inline
cmt_width(unsigned int width)	irept	inline
code() const	irept	inline
code(const irept &val)	irept	inline
column() const	irept	inline
comment() const	irept	inline
comment(const irep_idt cmt)	irept	inline
compare(const irept &i) const	irept
component(const irep_idt val)	irept	inline
component(unsigned int val)	irept	inline
component_name() const	irept	inline
component_name(const irep_idt name)	irept	inline
components() const	irept	inline
components(const irept &val)	irept	inline
cpp_type() const	irept	inline
cpp_type(const irep_idt val)	irept	inline
data	irept	protected
decl_ident() const	irept	inline
decl_ident(const irept &val)	irept	inline
decl_value() const	irept	inline
declaration_type() const	irept	inline
declaration_type(const irept &val)	irept	inline
derived_this_arg() const	irept	inline
derived_this_arg(const irep_idt &val)	irept	inline
destination() const	irept	inline
destination(const irep_idt val)	irept	inline
detatch()	irept	protected
dfault() const	irept	inline
dfault(bool val)	irept	inline
dump() const	irept
dynamic() const	irept	inline
dynamic(bool val)	irept	inline
elements() const	irept	inline
ellipsis() const	irept	inline
ellipsis(bool val)	irept	inline
end_location() const	irept	inline
end_location(const irept &val)	irept	inline
event() const	irept	inline
event(const irep_idt &val)	irept	inline
event_irep() const	irept	inline
explict() const	irept	inline
f_can_carry_provenance	typet	protectedstatic
f_location	typet	protectedstatic
f_subtype	typet	protectedstatic
f_subtypes	typet	protectedstatic
failed_symbol() const	irept	inline
failed_symbol(const irep_idt val)	irept	inline
file() const	irept	inline
file(const irep_idt val)	irept	inline
file_local() const	irept	inline
file_local(bool val)	irept	inline
find(const irep_idt &name) const	irept
find_type(const std::string &name) const	typet	inline
flavor(const irep_idt val)	irept	inline
from() const	irept	inline
full_hash() const	irept
function() const	irept	inline
function(const irep_idt val)	irept	inline
function_irep() const	irept	inline
get(const irep_idt &name) const	irept
get_bool(const irep_idt &name) const	irept
get_comments()	irept	inline
get_comments() const	irept	inline
get_named_sub()	irept	inline
get_named_sub() const	irept	inline
get_string(const irep_idt &name) const	irept	inline
get_sub()	irept	inline
get_sub() const	irept	inline
get_width() const	bv_typet
guard() const	irept	inline
guard(const irept &val)	irept	inline
has_subtype() const	typet	inline
has_subtypes() const	typet	inline
hash() const	irept
hex_or_oct() const	irept	inline
hex_or_oct(const irep_idt which)	irept	inline
hex_or_oct(bool which)	irept	inline
hide() const	irept	inline
hide(bool val)	irept	inline
id() const	irept	inline
id(const irep_idt &_data)	irept	inline
id_address_of	irept	static
id_and	irept	static
id_array	irept	static
id_bool	irept	static
id_class() const	irept	inline
id_class(unsigned int val)	irept	inline
id_code	irept	static
id_constant	irept	static
id_dereference	irept	static
id_empty	irept	static
id_fixedbv	irept	static
id_floatbv	irept	static
id_incomplete_array	irept	static
id_index	irept	static
id_member	irept	static
id_not	irept	static
id_notequal	irept	static
id_or	irept	static
id_pointer	irept	static
id_signedbv	irept	static
id_string() const	irept	inline
id_struct	irept	static
id_symbol	irept	static
id_typecast	irept	static
id_union	irept	static
id_unsignedbv	irept	static
id_vector	irept	static
identifier() const	irept	inline
identifier(const irep_idt ident)	irept	inline
implicit() const	irept	inline
implicit(bool val)	irept	inline
incomplete() const	irept	inline
incomplete(bool val)	irept	inline
initialization() const	irept	inline
initializer() const	irept	inline
initializer(const irept &val)	irept	inline
inlined() const	irept	inline
inlined(bool val)	irept	inline
integer_bits() const	irept	inline
invalid_object() const	irept	inline
invalid_object(bool val)	irept	inline
irept(const irep_idt &_id)	irept	explicit
irept()	irept	inline
irept(const irept &irep)	irept	inline
is_address_of() const	irept	inline
is_and() const	irept	inline
is_array() const	irept	inline
is_bool() const	irept	inline
is_code() const	irept	inline
is_comment(const irep_idt &name)	irept	inlineprotectedstatic
is_constant() const	irept	inline
is_decl_ident_set() const	irept	inline
is_dereference() const	irept	inline
is_dynamic_set() const	irept	inline
is_empty() const	irept	inline
is_expression() const	irept	inline
is_expression(bool val)	irept	inline
is_extern() const	irept	inline
is_extern(bool val)	irept	inline
is_fixedbv() const	irept	inline
is_floatbv() const	irept	inline
is_function_call() const	irept	inline
is_identifier_set() const	irept	inline
is_incomplete_array() const	irept	inline
is_index() const	irept	inline
is_macro() const	irept	inline
is_macro(bool val)	irept	inline
is_member() const	irept	inline
is_nil() const	irept	inline
is_not() const	irept	inline
is_not_nil() const	irept	inline
is_notequal() const	irept	inline
is_or() const	irept	inline
is_parameter() const	irept	inline
is_parameter(bool val)	irept	inline
is_pointer() const	irept	inline
is_signedbv() const	irept	inline
is_struct() const	irept	inline
is_symbol() const	irept	inline
is_thread_local() const	irept	inline
is_thread_local(bool val)	irept	inline
is_type() const	irept	inline
is_type(bool val)	irept	inline
is_typecast() const	irept	inline
is_union() const	irept	inline
is_unsignedbv() const	irept	inline
is_vector() const	irept	inline
label(const irep_idt &val)	irept	inline
labels(const irept &val)	irept	inline
labels_irep() const	irept	inline
lhs(bool val)	irept	inline
line() const	irept	inline
line(const irep_idt &val)	irept	inline
line(unsigned int val)	irept	inline
literal() const	irept	inline
location() const	typet	inline
location()	typet	inline
irept::location(const irept &val)	irept	inline
loopid() const	irept	inline
lvalue() const	irept	inline
lvalue(bool val)	irept	inline
make_nil()	irept	inline
member_irep() const	irept	inline
member_irep(const irept &val)	irept	inline
member_name() const	irept	inline
member_name(const irep_idt val)	irept	inline
mode() const	irept	inline
mode(const irep_idt &val)	irept	inline
module() const	irept	inline
module(const irep_idt &val)	irept	inline
move_to_named_sub(const irep_idt &name, irept &irep)	irept
move_to_sub(irept &irep)	irept
move_to_subtypes(typet &type)	typet
name() const	irept	inline
name(const irep_idt val)	irept	inline
named_subt typedef	irept
need_vptr_init() const	irept	inline
need_vptr_init(bool val)	irept	inline
object_type() const	irept	inline
object_type(const irept &val)	irept	inline
offsetof_type() const	irept	inline
offsetof_type(const irept &val)	irept	inline
operator=(const irept &irep)	irept	inline
pretty(unsigned indent=0) const	irept
pretty_name() const	irept	inline
pretty_name(const irep_idt &val)	irept	inline
property() const	irept	inline
property(const irep_idt prop)	irept	inline
read() const	irept	protected
reference() const	irept	inline
remove(const irep_idt &name)	irept
remove_member_name()	irept	inline
remove_ref(dt *old_data)	irept	protected
restricted() const	irept	inline
restricted(bool val)	irept	inline
return_type() const	irept	inline
return_type(const irept &val)	irept	inline
s_arguments	irept	static
s_body	irept	static
s_bv	irept	static
s_cmt_location	irept	static
s_components	irept	static
s_decl_ident	irept	static
s_decl_value	irept	static
s_declaration_type	irept	static
s_elements	irept	static
s_initializer	irept	static
s_labels	irept	static
s_member	irept	static
s_offsetof_type	irept	static
s_return_type	irept	static
s_symvalue	irept	static
s_targets	irept	static
s_type	irept	static
s_variables	irept	static
set(const irep_idt &name, const irep_idt &value)	irept	inline
set(const irep_idt &name, const long value)	irept
set(const irep_idt &name, const irept &irep)	irept
set_width(unsigned width)	bv_typet	inline
size() const	irept	inline
size(const irep_idt val)	irept	inline
size(const irept &val)	irept	inline
size_irep() const	irept	inline
statement() const	irept	inline
statement(const irep_idt statm)	irept	inline
static_lifetime() const	irept	inline
static_lifetime(bool val)	irept	inline
subt typedef	irept
subtype() const	typet	inline
subtype()	typet	inline
subtypes()	typet	inline
subtypes() const	typet	inline
subtypest typedef	typet
swap(irept &irep)	irept	inline
symvalue() const	irept	inline
symvalue(const irept &val)	irept	inline
t_array	typet	static
t_bool	typet	static
t_bv	typet	static
t_class	typet	static
t_code	typet	static
t_complex	typet	static
t_empty	typet	static
t_fixedbv	typet	static
t_floatbv	typet	static
t_intcap	typet	static
t_integer	typet	static
t_natural	typet	static
t_pointer	typet	static
t_ptrmem	typet	static
t_rational	typet	static
t_real	typet	static
t_reference	typet	static
t_signedbv	typet	static
t_struct	typet	static
t_symbol	typet	static
t_uintcap	typet	static
t_union	typet	static
t_unsignedbv	typet	static
t_vector	typet	static
tag() const	irept	inline
tag(const irep_idt &val)	irept	inline
targets() const	irept	inline
targets(const irept &val)	irept	inline
theorem() const	irept	inline
theorem(bool val)	irept	inline
to() const	irept	inline
to_string() const	irept
type()	irept	inline
type() const	irept	inline
type_id() const	irept	inline
type_id(unsigned int val)	irept	inline
typet()=default	typet
typet(const irep_idt &_id)	typet	inlineexplicit
user_provided() const	irept	inline
user_provided(const irep_idt val)	irept	inline
user_provided(bool val)	irept	inline
variables() const	irept	inline
variables(const irept &val)	irept	inline
width() const	irept	inline
width(const irep_idt width)	irept	inline
width(unsigned int width)	irept	inline
write()	irept	inlineprotected
zero_initializer() const	irept	inline
zero_initializer(bool val)	irept	inline
~irept()	irept	inline