12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_ENUMERATING_LOOP_ACCELERATION_H 13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_ENUMERATING_LOOP_ACCELERATION_H 72 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_ENUMERATING_LOOP_ACCELERATION_H std::unique_ptr< path_enumeratort > path_enumerator
polynomial_acceleratort polynomial_accelerator
natural_loops_mutablet::natural_loopt & loop
std::set< goto_programt::targett > natural_loopt
enumerating_loop_accelerationt(message_handlert &message_handler, 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)
instructionst::iterator targett
goto_functionst & goto_functions
A collection of goto functions.
bool accelerate(path_acceleratort &accelerator)
A generic container class for the GOTO intermediate representation of one function.
goto_programt & goto_program
symbol_tablet & symbol_table
std::unique_ptr< T > util_make_unique(Ts &&... ts)
Compute natural loops in a goto_function.
goto_programt::targett loop_header