true_exprt Member List

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

a_access	irept	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_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_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	irept	static
a_implicit	irept	static
a_incomplete	irept	static
a_initialization	irept	static
a_inlined	irept	static
a_integer_bits	irept	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_mode	irept	static
a_module	irept	static
a_name	irept	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_size	irept	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_value	exprt	static
a_width	irept	static
a_zero_initializer	irept	static
abs	exprt	static
access() const	irept	inline
add(const irep_idt &name)	irept
add_expr(const std::string &name)	exprt	inline
addrof	exprt	static
argument	exprt	static
arguments() const	irept	inline
arguments(const irept &val)	irept	inline
arrayof	exprt	static
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
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
constant	exprt	static
constant_exprt()	constant_exprt	inline
constant_exprt(const typet &type)	constant_exprt	inlineexplicit
constant_exprt(const irep_idt &_value, const irep_idt &_cformat, const typet &_type)	constant_exprt	inline
constant_exprt(const BigInt &value, const typet &type)	constant_exprt	inline
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
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
deref	exprt	static
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
div	exprt	static
dump() const	irept
dynamic() const	irept	inline
dynamic(bool val)	irept	inline
dynobj	exprt	static
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
equality	exprt	static
event() const	irept	inline
event(const irep_idt &val)	irept	inline
event_irep() const	irept	inline
explict() const	irept	inline
exprt()=default	exprt
exprt(const irep_idt &_id)	exprt	inlineexplicit
exprt(const irep_idt &_id, const typet &_type)	exprt	inline
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_expr(const std::string &name) const	exprt	inline
find_location() const	exprt
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_value() const	constant_exprt	inline
guard() const	irept	inline
guard(const irept &val)	irept	inline
has_operands() const	exprt	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
i_and	exprt	static
i_ashr	exprt	static
i_bitand	exprt	static
i_bitnot	exprt	static
i_bitor	exprt	static
i_bitxor	exprt	static
i_cmp_three_way	exprt	static
i_false	exprt	static
i_ge	exprt	static
i_gt	exprt	static
i_if	exprt	static
i_le	exprt	static
i_lshr	exprt	static
i_lt	exprt	static
i_not	exprt	static
i_or	exprt	static
i_shl	exprt	static
i_true	exprt	static
i_type	exprt	static
i_xor	exprt	static
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
ieee_floateq	exprt	static
implicit() const	irept	inline
implicit(bool val)	irept	inline
implies	exprt	static
incomplete() const	irept	inline
incomplete(bool val)	irept	inline
index	exprt	static
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_boolean() const	exprt
is_code() const	irept	inline
is_comment(const irep_idt &name)	irept	inlineprotectedstatic
is_constant() const	exprt
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_false() const	exprt
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_one() const	exprt
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_true() const	exprt
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
is_zero() const	exprt
isnan	exprt	static
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	exprt	inline
location()	exprt	inline
irept::location(const irept &val)	irept	inline
loopid() const	irept	inline
lvalue() const	irept	inline
lvalue(bool val)	irept	inline
make_bool(bool value)	exprt
make_false()	exprt
make_nil()	irept	inline
make_not()	exprt
make_true()	exprt
make_typecast(const typet &_type)	exprt
member	exprt	static
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
member_ref	exprt	static
minus	exprt	static
mod	exprt	static
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_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
mult	exprt	static
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
negate()	exprt
notequal	exprt	static
o_location	exprt	protectedstatic
o_operands	exprt	protectedstatic
objdesc	exprt	static
object_type() const	irept	inline
object_type(const irept &val)	irept	inline
offsetof_type() const	irept	inline
offsetof_type(const irept &val)	irept	inline
op0()	exprt	inline
op0() const	exprt	inline
op1()	exprt	inline
op1() const	exprt	inline
op2()	exprt	inline
op2() const	exprt	inline
op3()	exprt	inline
op3() const	exprt	inline
operands()	exprt	inline
operands() const	exprt	inline
operandst typedef	exprt
operator=(const irept &irep)	irept	inline
plus	exprt	static
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
ptr_mem	exprt	static
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
reserve_operands(unsigned n)	exprt	inline
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_value(const irep_idt &value)	constant_exprt	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
subtract(const exprt &expr)	exprt
sum(const exprt &expr)	exprt
swap(irept &irep)	irept	inline
symbol	exprt	static
symvalue() const	irept	inline
symvalue(const irept &val)	irept	inline
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
trans	exprt	static
true_exprt()	true_exprt	inline
type()	irept	inline
type() const	irept	inline
type_id() const	irept	inline
type_id(unsigned int val)	irept	inline
typecast	exprt	static
user_provided() const	irept	inline
user_provided(const irep_idt val)	irept	inline
user_provided(bool val)	irept	inline
value() const	exprt	inline
value(irep_idt val)	exprt	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
with	exprt	static
write()	irept	inlineprotected
zero_initializer() const	irept	inline
zero_initializer(bool val)	irept	inline
~irept()	irept	inline