cprover
accelerate.cpp File Reference

Loop Acceleration. More...

#include "accelerate.h"
#include <analyses/natural_loops.h>
#include <goto-programs/goto_functions.h>
#include <util/std_expr.h>
#include <util/arith_tools.h>
#include <util/find_symbols.h>
#include <ansi-c/expr2c.h>
#include <iostream>
#include <list>
#include "path.h"
#include "polynomial_accelerator.h"
#include "enumerating_loop_acceleration.h"
#include "disjunctive_polynomial_acceleration.h"
#include "overflow_instrumenter.h"
#include "util.h"
Include dependency graph for accelerate.cpp:

Go to the source code of this file.

Functions

void accelerate_functions (goto_functionst &functions, symbol_tablet &symbol_table, bool use_z3)
 

Detailed Description

Loop Acceleration.

Definition in file accelerate.cpp.

Function Documentation

§ accelerate_functions()

void accelerate_functions ( goto_functionst functions,
symbol_tablet symbol_table,
bool  use_z3 
)