cprover
|
#include <enumerating_loop_acceleration.h>
Public Member Functions | |
enumerating_loop_accelerationt (symbol_tablet &_symbol_table, goto_functionst &_goto_functions, goto_programt &_goto_program, natural_loops_mutablet::natural_loopt &_loop, goto_programt::targett _loop_header, int _path_limit) | |
~enumerating_loop_accelerationt () | |
virtual bool | accelerate (path_acceleratort &accelerator) |
Definition at line 26 of file enumerating_loop_acceleration.h.
|
inline |
Definition at line 29 of file enumerating_loop_acceleration.h.
References goto_functions, goto_program, loop, loop_header, path_enumerator, and symbol_table.
|
inline |
Definition at line 50 of file enumerating_loop_acceleration.h.
References path_enumerator.
|
virtual |
Implements loop_accelerationt.
Definition at line 16 of file enumerating_loop_acceleration.cpp.
References polynomial_acceleratort::accelerate(), goto_program, path_enumeratort::next(), goto_programt::output_instruction(), path_acceleratort::path, path_enumerator, path_limit, polynomial_accelerator, and symbol_table.
|
protected |
Definition at line 59 of file enumerating_loop_acceleration.h.
Referenced by enumerating_loop_accelerationt().
|
protected |
Definition at line 60 of file enumerating_loop_acceleration.h.
Referenced by accelerate(), and enumerating_loop_accelerationt().
|
protected |
Definition at line 61 of file enumerating_loop_acceleration.h.
Referenced by enumerating_loop_accelerationt().
|
protected |
Definition at line 62 of file enumerating_loop_acceleration.h.
Referenced by enumerating_loop_accelerationt().
|
protected |
Definition at line 66 of file enumerating_loop_acceleration.h.
Referenced by accelerate(), enumerating_loop_accelerationt(), and ~enumerating_loop_accelerationt().
|
protected |
Definition at line 64 of file enumerating_loop_acceleration.h.
Referenced by accelerate().
|
protected |
Definition at line 63 of file enumerating_loop_acceleration.h.
Referenced by accelerate().
|
protected |
Definition at line 58 of file enumerating_loop_acceleration.h.
Referenced by accelerate(), and enumerating_loop_accelerationt().