string_abstractiont Member List

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

abstract(goto_programt &dest, goto_programt::targett it)	string_abstractiont	protected
abstract(goto_programt &dest)	string_abstractiont	protected
abstract_assign(goto_programt &dest, goto_programt::targett it)	string_abstractiont	protected
abstract_char_assign(goto_programt &dest, goto_programt::targett it)	string_abstractiont	protected
abstract_function_call(goto_programt::targett it)	string_abstractiont	protected
abstract_pointer_assign(goto_programt &dest, goto_programt::targett it)	string_abstractiont	protected
abstraction_types_map	string_abstractiont	protected
abstraction_types_mapt typedef	string_abstractiont	protected
add_dummy_symbol_and_value(goto_programt &dest, goto_programt::targett ref_instr, const symbolt &symbol, const irep_idt &component_name, const typet &type, const typet &source_type)	string_abstractiont	protected
add_parameter(const symbolt &fct_symbol, const typet &type, const irep_idt &identifier)	string_abstractiont	protected
add_str_parameters(symbolt &fct_symbol, goto_functiont::parameter_identifierst &parameter_identifiers)	string_abstractiont	protected
apply()	string_abstractiont
apply(goto_programt &dest)	string_abstractiont	protected
build(const exprt &pointer, whatt what, bool write, const source_locationt &)	string_abstractiont	protected
build(const exprt &object, exprt &dest, bool write)	string_abstractiont	protected
build_abstraction_type(const typet &type)	string_abstractiont	protected
build_abstraction_type_rec(const typet &type, const abstraction_types_mapt &known)	string_abstractiont	protected
build_array(const array_exprt &object, exprt &dest, bool write)	string_abstractiont	protected
build_if(const if_exprt &o_if, exprt &dest, bool write)	string_abstractiont	protected
build_new_symbol(const symbolt &symbol, const irep_idt &identifier, const typet &type)	string_abstractiont	protected
build_pointer(const exprt &object, exprt &dest, bool write)	string_abstractiont	protected
build_symbol(const symbol_exprt &sym, exprt &dest)	string_abstractiont	protected
build_symbol_constant(const mp_integer &zero_length, const mp_integer &buf_size, exprt &dest)	string_abstractiont	protected
build_type(whatt what)	string_abstractiont	protectedstatic
build_unknown(whatt what, bool write)	string_abstractiont	protected
build_unknown(const typet &type, bool write)	string_abstractiont	protected
build_wrap(const exprt &object, exprt &dest, bool write)	string_abstractiont	protected
char_assign(goto_programt &dest, goto_programt::targett target, const exprt &new_lhs, const exprt &lhs, const exprt &rhs)	string_abstractiont	protected
declare_define_locals(goto_programt &dest)	string_abstractiont	protected
goto_model	string_abstractiont	protected
has_string_macros(const exprt &expr)	string_abstractiont	protectedstatic
initialization	string_abstractiont	protected
is_char_type(const typet &type) const	string_abstractiont	inlineprotected
is_ptr_string_struct(const typet &type) const	string_abstractiont	protected
locals	string_abstractiont	protected
localst typedef	string_abstractiont	protected
make_decl_and_def(goto_programt &dest, goto_programt::targett ref_instr, const irep_idt &identifier, const irep_idt &source_sym)	string_abstractiont	protected
make_val_or_dummy_rec(goto_programt &dest, goto_programt::targett ref_instr, const symbolt &symbol, const typet &source_type)	string_abstractiont	protected
member(const exprt &a, whatt what)	string_abstractiont	protected
message_handler	string_abstractiont	protected
move_lhs_arithmetic(exprt &lhs, exprt &rhs)	string_abstractiont	protected
ns	string_abstractiont	protected
parameter_map	string_abstractiont	protected
replace_string_macros(exprt &expr, bool lhs, const source_locationt &)	string_abstractiont	protected
string_abstractiont(goto_modelt &goto_model, message_handlert &_message_handler)	string_abstractiont
string_struct	string_abstractiont	protected
sym_suffix	string_abstractiont	protected
temporary_counter	string_abstractiont	protected
value_assignments(goto_programt &dest, goto_programt::targett it, const exprt &lhs, const exprt &rhs)	string_abstractiont	protected
value_assignments_if(goto_programt &dest, goto_programt::targett target, const exprt &lhs, const if_exprt &rhs)	string_abstractiont	protected
value_assignments_string_struct(goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt &rhs)	string_abstractiont	protected
whatt enum name	string_abstractiont	protected