bounded_loop_unroller Member List

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

algorithm(bool sideeffect)	algorithm< goto_functionst >	inline
bounded_loop_unroller(size_t unroll_limit=1000)	bounded_loop_unroller	inlineexplicit
get_loop_bounds(loopst &loop) override	bounded_loop_unroller	protectedvirtual
get_number_of_bounded_loops()	bounded_loop_unroller	inline
get_number_of_functions()	goto_functions_algorithm	inline
get_number_of_loops()	goto_functions_algorithm	inline
goto_functions_algorithm(bool sideffect)	goto_functions_algorithm	inlineexplicit
has_sideeffect()	algorithm< goto_functionst >	inline
run(goto_functionst &) override	goto_functions_algorithm	virtual
runOnFunction(std::pair< const irep_idt, goto_functiont > &F)	goto_functions_algorithm	protectedvirtual
runOnLoop(loopst &loop, goto_programt &goto_program) override	unsound_loop_unroller	protectedvirtual
runOnProgram(goto_functionst &)	goto_functions_algorithm	inlineprotectedvirtual
setTarget(const std::string &_tgt)	goto_functions_algorithm	inline
sideeffect	algorithm< goto_functionst >	protected
target_function	goto_functions_algorithm	protected
unroll_limit	bounded_loop_unroller	protected
unsound_loop_unroller()	unsound_loop_unroller	inline
~algorithm()=default	algorithm< goto_functionst >	virtual