cprover
|
This is the complete list of members for goto_program_dereferencet, including all inherited members.
assertions | goto_program_dereferencet | protected |
current_target | goto_program_dereferencet | protected |
dereference | goto_program_dereferencet | protected |
dereference_expr(exprt &expr, const bool checks_only, const value_set_dereferencet::modet mode) | goto_program_dereferencet | protected |
dereference_expression(goto_programt::const_targett target, exprt &expr) | goto_program_dereferencet | |
dereference_failure(const std::string &property, const std::string &msg, const guardt &guard) | goto_program_dereferencet | protectedvirtual |
dereference_instruction(goto_programt::targett target, bool checks_only=false) | goto_program_dereferencet | protected |
dereference_location | goto_program_dereferencet | protected |
dereference_program(goto_programt &goto_program, bool checks_only=false) | goto_program_dereferencet | |
dereference_program(goto_functionst &goto_functions, bool checks_only=false) | goto_program_dereferencet | |
dereference_rec(exprt &expr, guardt &guard, const value_set_dereferencet::modet mode) | goto_program_dereferencet | protected |
get_value_set(const exprt &expr, value_setst::valuest &dest) | goto_program_dereferencet | protectedvirtual |
goto_program_dereferencet(const namespacet &_ns, symbol_tablet &_new_symbol_table, const optionst &_options, value_setst &_value_sets) | goto_program_dereferencet | inline |
has_failed_symbol(const exprt &expr, const symbolt *&symbol) | goto_program_dereferencet | protectedvirtual |
is_valid_object(const irep_idt &identifier) | goto_program_dereferencet | protectedvirtual |
new_code | goto_program_dereferencet | protected |
ns | goto_program_dereferencet | protected |
options | goto_program_dereferencet | protected |
pointer_checks(goto_programt &goto_program) | goto_program_dereferencet | |
pointer_checks(goto_functionst &goto_functions) | goto_program_dereferencet | |
value_sets | goto_program_dereferencet | protected |
~dereference_callbackt() | dereference_callbackt | protectedvirtual |
~goto_program_dereferencet() | goto_program_dereferencet | inlinevirtual |