cprover
|
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 int global_k, const unwind_sett &unwind_set) const | goto_unwindt | protected |
operator()(goto_functionst &goto_functions, const unsigned k, const unwind_strategyt unwind_strategy=unwind_strategyt::PARTIAL) | goto_unwindt | inline |
operator()(goto_functionst &goto_functions, const unwind_sett &unwind_set, const int k=-1, const unwind_strategyt unwind_strategy=unwind_strategyt::PARTIAL) | goto_unwindt | |
output_log_json() const | goto_unwindt | inline |
unwind(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(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(goto_programt &goto_program, const unwind_sett &unwind_set, const int k=-1, const unwind_strategyt unwind_strategy=unwind_strategyt::PARTIAL) | goto_unwindt | |
unwind_log | goto_unwindt | |
unwind_strategyt enum name | goto_unwindt |