interpretert Member List

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

address_to_identifier(const mp_integer &address) const	interpretert	inlineprotected
address_to_object_record(const mp_integer &address) const	interpretert	inlineprotected
address_to_offset(const mp_integer &address) const	interpretert	inlineprotected
allocate(const mp_integer &address, const mp_integer &size)	interpretert	protected
assign(const mp_integer &address, const mp_vectort &rhs)	interpretert	protected
assignment_idt typedef	interpretert
base_address_to_actual_size(const mp_integer &address) const	interpretert	inlineprotected
base_address_to_alloc_size(const mp_integer &address) const	interpretert	inlineprotected
blue	messaget	static
bold	messaget	static
bright_blue	messaget	static
bright_cyan	messaget	static
bright_green	messaget	static
bright_magenta	messaget	static
bright_red	messaget	static
bright_yellow	messaget	static
build_memory_map()	interpretert	protected
build_memory_map(const symbolt &symbol)	interpretert	protected
build_memory_map(const irep_idt &id, const typet &type)	interpretert	protected
byte_offset_to_memory_offset(const typet &source_type, const mp_integer &byte_offset, mp_integer &result)	interpretert	protected
call_stack	interpretert	protected
call_stackt typedef	interpretert	protected
clear_input_flags()	interpretert	protected
command()	interpretert	protectedvirtual
messaget::command(unsigned c)	messaget	inlinestatic
concretize_type(const typet &type)	interpretert	protected
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const	messaget
count_type_leaves(const typet &source_type, mp_integer &result)	interpretert	protected
cyan	messaget	static
debug() const	messaget	inline
diff_pairt typedef	interpretert
done	interpretert	protected
dynamic_types	interpretert	protected
dynamic_typest typedef	interpretert
eom	messaget	static
error() const	messaget	inline
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)	messaget	static
evaluate(const exprt &expr, mp_vectort &dest)	interpretert	protected
evaluate_address(const exprt &expr, bool fail_quietly=false)	interpretert	protected
evaluate_boolean(const exprt &expr)	interpretert	inlineprotected
execute_assert()	interpretert	protected
execute_assign()	interpretert	protected
execute_assume()	interpretert	protected
execute_decl()	interpretert	protected
execute_function_call()	interpretert	protected
execute_goto()	interpretert	protected
execute_other()	interpretert	protected
faint	messaget	static
function	interpretert	protected
function_assignments_contextst typedef	interpretert
function_assignmentst typedef	interpretert
function_input_vars	interpretert	protected
get_component(const irep_idt &object, const mp_integer &offset)	interpretert	protected
get_dynamic_types()	interpretert	inline
get_message_handler()	messaget	inline
get_mstream(unsigned message_level) const	messaget	inline
get_size(const typet &type)	interpretert	protected
get_type(const irep_idt &id) const	interpretert	protected
get_value(const typet &type, const mp_integer &offset=0, bool use_non_det=false)	interpretert	protected
get_value(const typet &type, mp_vectort &rhs, const mp_integer &offset=0)	interpretert	protected
get_value(const irep_idt &id)	interpretert	protected
goto_functions	interpretert	protected
green	messaget	static
initialize(bool init)	interpretert	protected
input_entryt typedef	interpretert
input_valuest typedef	interpretert
input_vars	interpretert	protected
interpreter_testt class	interpretert	friend
interpretert(const symbol_tablet &_symbol_table, const goto_functionst &_goto_functions, message_handlert &_message_handler)	interpretert	inline
inverse_memory_map	interpretert	protected
inverse_memory_mapt typedef	interpretert	protected
italic	messaget	static
list_input_varst typedef	interpretert
M_DEBUG enum value	messaget
M_ERROR enum value	messaget
M_PROGRESS enum value	messaget
M_RESULT enum value	messaget
M_STATISTICS enum value	messaget
M_STATUS enum value	messaget
M_WARNING enum value	messaget
magenta	messaget	static
memory	interpretert	mutableprotected
memory_map	interpretert	protected
memory_mapt typedef	interpretert	protected
memory_offset_to_byte_offset(const typet &source_type, const mp_integer &cell_offset, mp_integer &result)	interpretert	protected
memoryt typedef	interpretert	protected
message_handler	messaget	protected
message_levelt enum name	messaget
messaget()	messaget	inline
messaget(const messaget &other)	messaget	inline
messaget(message_handlert &_message_handler)	messaget	inlineexplicit
mp_vectort typedef	interpretert
mstream	messaget	mutableprotected
next_pc	interpretert	protected
npos	interpretert	protectedstatic
ns	interpretert	protected
num_dynamic_objects	interpretert	protected
num_steps	interpretert	protected
operator()()	interpretert
operator=(const messaget &other)	messaget	inline
output_values	interpretert
output_valuest typedef	interpretert
parameter_sett typedef	interpretert	protected
pc	interpretert	protected
print_memory(bool input_flags)	interpretert
progress() const	messaget	inline
read(const mp_integer &address, mp_vectort &dest) const	interpretert	protected
read_unbounded(const mp_integer &address, mp_vectort &dest) const	interpretert	protected
red	messaget	static
reset	messaget	static
result() const	messaget	inline
set_message_handler(message_handlert &_message_handler)	messaget	inlinevirtual
show	interpretert	protected
show_state()	interpretert	protected
side_effects_differencet typedef	interpretert
stack_depth	interpretert	protected
stack_pointer	interpretert	protected
statistics() const	messaget	inline
status() const	messaget	inline
step()	interpretert	protected
steps	interpretert	protected
stop_on_assertion	interpretert	protected
struct_member_idt typedef	interpretert	protected
struct_valuest typedef	interpretert	protected
symbol_table	interpretert	protected
target_assert	interpretert	protected
thread_id	interpretert	protected
total_steps	interpretert	protected
unbounded_size(const typet &)	interpretert	protected
underline	messaget	static
warning() const	messaget	inline
yellow	messaget	static
~messaget()	messaget	virtual