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