CBMC
goto_unwindt Member List

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

copy_segment(const goto_programt::const_targett start, const goto_programt::const_targett end, goto_programt &goto_program)goto_unwindtprotected
get_k(const irep_idt func, const unsigned loop_id, const unwindsett &unwindset) constgoto_unwindtprotected
operator()(goto_functionst &, const unwindsett &unwindset, const unwind_strategyt unwind_strategy=unwind_strategyt::PARTIAL)goto_unwindt
operator()(goto_modelt &goto_model, const unwindsett &unwindset, const unwind_strategyt unwind_strategy=unwind_strategyt::PARTIAL)goto_unwindtinline
output_log_json() constgoto_unwindtinline
unwind(const irep_idt &function_id, goto_programt &goto_program, const goto_programt::const_targett loop_head, const goto_programt::const_targett loop_exit, const unsigned k, const unwind_strategyt unwind_strategy)goto_unwindt
unwind(const irep_idt &function_id, goto_programt &goto_program, const goto_programt::const_targett loop_head, const goto_programt::const_targett loop_exit, const unsigned k, const unwind_strategyt unwind_strategy, std::vector< goto_programt::targett > &iteration_points)goto_unwindt
unwind(const irep_idt &function_id, goto_programt &goto_program, const unwindsett &unwindset, const unwind_strategyt unwind_strategy=unwind_strategyt::PARTIAL)goto_unwindt
unwind_loggoto_unwindt
unwind_strategyt enum namegoto_unwindt