cprover
|
Loop Acceleration. More...
#include <util/namespace.h>
#include <util/expr.h>
#include <analyses/natural_loops.h>
#include <goto-programs/goto_functions.h>
#include "path.h"
#include "accelerator.h"
#include "trace_automaton.h"
#include "subsumed.h"
#include "scratch_program.h"
#include "acceleration_utils.h"
Go to the source code of this file.
Classes | |
class | acceleratet |
Functions | |
void | accelerate_functions (goto_functionst &functions, symbol_tablet &ns, bool use_z3) |
Loop Acceleration.
Definition in file accelerate.h.
void accelerate_functions | ( | goto_functionst & | functions, |
symbol_tablet & | ns, | ||
bool | use_z3 | ||
) |
Definition at line 652 of file accelerate.cpp.
References acceleratet::accelerate_loops(), and Forall_goto_functions.
Referenced by goto_instrument_parse_optionst::doit().