CBMC
|
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_unwindt | protected |
get_k(const irep_idt func, const unsigned loop_id, const unwindsett &unwindset) const | goto_unwindt | protected |
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_unwindt | inline |
output_log_json() const | goto_unwindt | inline |
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_log | goto_unwindt | |
unwind_strategyt enum name | goto_unwindt |