12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_ACCELERATOR_H 13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_ACCELERATOR_H 32 std::set<exprt> &changed,
33 std::set<exprt> &dirty) :
69 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_ACCELERATOR_H
void clear()
Clear the goto program.
path_acceleratort(patht &_path, goto_programt &pure, goto_programt &overflow, std::set< exprt > &changed, std::set< exprt > &dirty)
Goto Programs with Functions.
std::set< exprt > changed_vars
goto_programt overflow_path
API to expression classes.
std::list< path_nodet > patht
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
void copy_from(const goto_program_templatet< codeT, guardT > &src)
Copy a full goto program, preserving targets.
std::set< exprt > dirty_vars
goto_programt pure_accelerator
path_acceleratort(const path_acceleratort &that)
Compute natural loops in a goto_function.