12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_ENUMERATING_LOOP_ACCELERATION_H 13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_ENUMERATING_LOOP_ACCELERATION_H 69 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_ENUMERATING_LOOP_ACCELERATION_H polynomial_acceleratort polynomial_accelerator
natural_loops_mutablet::natural_loopt & loop
std::set< goto_programt::targett > natural_loopt
goto_functionst & goto_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)
path_enumeratort * path_enumerator
virtual bool accelerate(path_acceleratort &accelerator)
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
goto_programt & goto_program
symbol_tablet & symbol_table
Compute natural loops in a goto_function.
~enumerating_loop_accelerationt()
goto_programt::targett loop_header
instructionst::iterator targett