cprover
goto_program_dereferencet Member List

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

assertionsgoto_program_dereferencetprotected
current_targetgoto_program_dereferencetprotected
dereferencegoto_program_dereferencetprotected
dereference_expr(exprt &expr, const bool checks_only, const value_set_dereferencet::modet mode)goto_program_dereferencetprotected
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_dereferencetprotectedvirtual
dereference_instruction(goto_programt::targett target, bool checks_only=false)goto_program_dereferencetprotected
dereference_locationgoto_program_dereferencetprotected
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_dereferencetprotected
get_value_set(const exprt &expr, value_setst::valuest &dest)goto_program_dereferencetprotectedvirtual
goto_program_dereferencet(const namespacet &_ns, symbol_tablet &_new_symbol_table, const optionst &_options, value_setst &_value_sets)goto_program_dereferencetinline
has_failed_symbol(const exprt &expr, const symbolt *&symbol)goto_program_dereferencetprotectedvirtual
is_valid_object(const irep_idt &identifier)goto_program_dereferencetprotectedvirtual
new_codegoto_program_dereferencetprotected
nsgoto_program_dereferencetprotected
optionsgoto_program_dereferencetprotected
pointer_checks(goto_programt &goto_program)goto_program_dereferencet
pointer_checks(goto_functionst &goto_functions)goto_program_dereferencet
value_setsgoto_program_dereferencetprotected
~dereference_callbackt()dereference_callbacktprotectedvirtual
~goto_program_dereferencet()goto_program_dereferencetinlinevirtual